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

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

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(28476) 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