SOLUTION: Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S) ⊃ (~P v R) /~R ⊃~P Thank you!!

Algebra.Com
Question 1060034: Proof using rules of implication and replacement.
1. T v S
2. ~T
3. (S v S) ⊃ (~P v R) /~R ⊃~P
Thank you!!
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!


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

4. S          1,2, Disjunctive Syllogism
5. S v S      4, Addition
6. ~P v R     3, Modus Ponens
7. P ⊃ R      6, Material Implication
8. ~R ⊃ ~P    7, Transposition
  
Edwin
RELATED QUESTIONS

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

1. (S  (answered by solver91311)

Using rules of implication and replacement- proof

1. M v (D · L)

2. B ⊃~(M v... (answered by Edwin McCravy)

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

Using rules of implication, need help with the proofs!

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

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

I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)