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.Com
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)   (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
RELATED QUESTIONS

Need help with these proofs using rules of implication! Thank you! 1. P v (T v R)... (answered by Edwin McCravy)
Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v (answered by Edwin McCravy)
Construct deductions for each of the following arguments using Group I rules. (1) 1.... (answered by math_helper)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
Looking for a logical proof help using rules of implication! Thank you! 

1. (S  (answered by solver91311)

I need to construct a proof using all of the rules: (ex. commutation, association,... (answered by jim_thompson5910)

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

Note that ‘->’ is used for conditionals, ‘~’ is used for negations, ‘v’ is used for... (answered by robertb)

I need to solve using Transportation, Material Implication, Material Equivalence,... (answered by jim_thompson5910)