SOLUTION: 1. S v ~N 2. ~S v Q 3. N>Q

Algebra ->  Proofs -> SOLUTION: 1. S v ~N 2. ~S v Q 3. N>Q      Log On


   

Question 1142548: 1. S v ~N
2. ~S v Q
3. N>Q
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!



1. S v ~N

2. ~S v Q    (show N-->Q)

3.:: N      Conditional Proof (CP) assumption #1

4.:: S      3,1 Disjunctive Syllogism (DS)

5.:: Q      4,2 DS

6. N-->Q    3-5 CP





DS works as follows:  if you have A v B (A or B) and you know ~A, then B must be true in order to keep A v B true.