SOLUTION: Need help with these proofs using rules of implication! Thank you! 1. P v (T v R) 2. T &#8835; S 3. R &#8835; Q 4. ~P /S v Q

You can put this solution on YOUR website!


1. P v (T v R) 
2. T ⊃ S 
3. R ⊃ Q 
4. ~P            /S v Q

5. T v R                          1,4 Disjunctive Syllogism
6. (T ⊃ S) & (R ⊃ Q) & (T v R)   2,3,5, Conjunction 
7. S v Q                          6, Constructive dilemma

Edwin

SOLUTION: Need help with these proofs using rules of implication! Thank you! 1. P v (T v R) 2. T &#8835; S 3. R &#8835; Q 4. ~P /S v Q

SOLUTION: Need help with these proofs using rules of implication! Thank you! 1. P v (T v R) 2. T ⊃ S 3. R ⊃ Q 4. ~P /S v Q