SOLUTION: 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 kn
Algebra ->
Proofs
-> SOLUTION: 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 kn
Log On
Question 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 Answer by chewyben(1) (Show Source):
(