SOLUTION: 1. ~pVq 2. p /q 3.????? I figured line 3 is: ~p . ~q 1,DM ?? Then line 4: q 2,3 DS....Probably way off. Help is much appreciated!

Algebra ->  Proofs -> SOLUTION: 1. ~pVq 2. p /q 3.????? I figured line 3 is: ~p . ~q 1,DM ?? Then line 4: q 2,3 DS....Probably way off. Help is much appreciated!      Log On


   

Question 608115: 1. ~pVq
2. p /q
3.?????
I figured line 3 is: ~p . ~q 1,DM ?? Then line 4: q 2,3 DS....Probably way off. Help is much appreciated!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Start off by using double negation on line 2 to go from p to ~~p (and call this line 3)

Then use disjunctive syllogism on lines 1 and 3 to get q