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.



 

RELATED QUESTIONS

Premises:
1.) S->~(N v R)
2.) R v N v O
3.) ~O
Conclusion:... (answered by Edwin McCravy)

1.      ~(U v R)        
2.      (~R v N) ⊃ (P * H)      
3.      Q ⊃ ~H      /... (answered by math_helper)

1. P V Q
2. Q -> (R & S)
3. (R V P) -> T  /... (answered by Edwin McCravy)

1. (N v M) > (P & O)
2. ~M > (~Q > Q)
3. ~O... (answered by jim_thompson5910)

	 INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

Complete the following proofs using the Conditional Proof method.

1)	1. ~(P ∙... (answered by solver91311)

  Prove the following argument to be valid using the method of Natural Deduction.  (Do... (answered by Edwin McCravy)

I am having trouble solving the following propositional logic proofs. 

1. Conclusion:... (answered by jim_thompson5910)

1. ~(U v R)
2. (~R v N) ⊃ (P • H)
3. Q ⊃ ~H			/~Q
 (answered by CPhill)