Proofs/194154: I started with:
(P v ~P)
I have gotten to this point:
~(P v ~P) Assumption
...
(P v ~P)
_|_ (falsum)I 1,2
(P v ~P) ~E 3
I don't know where to go from there? divide and then there is your answer 1 solutions Answer 145737 by chewyben(1) on 2009-05-01 15:20:29 (Show Source):
New!
Get regular updates about newly solved problems
via algebra.com's RSS system.
on 2009-05-01 15:20:29 (