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

Algebra.Com
Question 1060015: 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
Answer by Edwin McCravy(20054)   (Show Source): 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
RELATED QUESTIONS

Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v (answered by Edwin McCravy)
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)

Using rules of implication, need help with the proofs!

1. T -> (P v Q)
2. S v... (answered by solver91311)

COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF... (answered by robertb)

Hi, I need help with finishing these proofs for my PHI class I am so confused! :(

[1]
 (answered by Edwin McCravy)

Construct deductions for each of the following arguments using Group I rules. (1)
 
1.... (answered by math_helper)

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

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