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

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.Com

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): You can put this solution on YOUR website!
b2 is correst
RELATED QUESTIONS
1. (J v F) v M 2. (J v M) ⊃ ~ P 3. ~F/~(F v P) 4. M Assumption... (answered by math_tutor2020)

~[(T ^ (p v ~q)) v (r ^ (p v ~q))] = ~[(p v ~q) ^ (T v r) is this correct or wrong? (answered by robertb)

I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)

I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)

1. (P v F) -> (A v D) 2. A -> (M ^ ~P) 3. D -> (C ^ ~P) /... (answered by Edwin McCravy)

I need help finishing this proof. (P . Q) -> (R v S) :. (P -> R) v (Q -> S) 1. (P . (answered by jim_thompson5910)

I need help finishing this proof. (P . Q) -> (R v S) :. (P -> R) v (Q -> S) 1. (P . (answered by jim_thompson5910)

1. (J v F) v M 2. (J v M) ⊃ ~P 3. ~F/~(F v P) I need help tryin to figure out... (answered by Solver92311)

P v (Q & R) <=> (P v Q) & (P v R) (answered by Edwin McCravy)