SOLUTION: Prove the following argument to be valid using the method of Natural Deduction. (Do not use the Conditional Proof method). 1. (S v ~N) 2. (~S v Q)

Algebra ->  Proofs -> SOLUTION: Prove the following argument to be valid using the method of Natural Deduction. (Do not use the Conditional Proof method). 1. (S v ~N) 2. (~S v Q)       Log On


   

Question 1023211: Prove the following argument to be valid using the method of Natural Deduction. (Do not use the Conditional Proof method).

1. (S v ~N)
2. (~S v Q) // (N -> Q)

Answer by Edwin McCravy(20064) About Me  (Show Source):
You can put this solution on YOUR website!
1. (S v ~N) 
2. (~S v Q) // (N -> Q) 

3. ~N v S      1, commutation
4. N -> S      3, material implication
5. S -> Q      2, material implication
6. N -> Q      4,5, hypothetical syllogism

Edwin