Hi
I have to prove a simple proposition. But I am getting some problems
Now I can do this using truth tables. But I wanted to do it little differently. We can express disjunction as an implication.
since this is an implication, we can assume , so the goal is to prove . But this itself is an implication, so we can further assume , and so the goal is . So our givens are
and the goal is . Now the givens give us
So we get our goal, . But I am also getting and . So I am little confused here.......
Thanks Plato. Yes thats one way to do it. But I was trying to use the way like people prove math theorems which are given as an implication. So we assume antecedent and try to prove
consequent......... So there must be some error in my proof........