SOLUTION: Using rules of implication, need help with the proofs! <pre> 1. T -> (P v Q) 2. S v ~(P v Q) 3. ~S | ~T </pre> Thanks for your help!

Algebra ->  Proofs -> SOLUTION: Using rules of implication, need help with the proofs! <pre> 1. T -> (P v Q) 2. S v ~(P v Q) 3. ~S | ~T </pre> Thanks for your help!       Log On


   

Question 1059930: Using rules of implication, need help with the proofs!
1. T -> (P v Q)
2. S v ~(P v Q)
3. ~S       |       ~T


Thanks for your help!
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


1. T -> (P v Q)
2. S v ~(P v Q)
3. ~S            |  ~T
4. ~(P v Q)      2,3  Disjunctive Syllogism
5. :.  ~T        4,1  Modus Tollens

John

My calculator said it, I believe it, that settles it