1. [(T • R) v S] ⊃ (P v Q) 
2. T 
3. R                       /P v Q

4. T • R           2,3, conjunction
5. (T • R) v S     4, addition
6. P v Q           1,5, modus ponens

Edwin

1. (S  (answered by solver91311)

Proof using rules of implication and replacement. 

1. T v S

2. ~T

3. (S v S)... (answered by Edwin McCravy)

Need help with these proofs using rules of implication! Thank you!

1. P v (T v R)... (answered by Edwin McCravy)

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

Using rules of implication, need help with the proofs!
1. T -> (P v Q)
2. S v... (answered by solver91311)

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

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)

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

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