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 ->  Proofs -> 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!!      Log On


   

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) About Me  (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