SOLUTION: 1. P V Q 2. Q -> (R & S) 3. (R V P) -> T / T

Algebra ->  Proofs -> SOLUTION: 1. P V Q 2. Q -> (R & S) 3. (R V P) -> T / T      Log On


   

Question 1104863: 1. P V Q
2. Q -> (R & S)
3. (R V P) -> T / T
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!


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

               | 4. ~T              AIP
               | 5. ~(R V P)    3,4, MT
               | 6. ~R & ~P       5, DM
               | 7. ~R            6, Simp
               | 8. ~R V ~S       7, Add
               | 9. ~(R & S)      8, DM
               |10. ~Q         2,10, MT
               |11. Q V P         1, Comm
               |12. P         11,10, DS
               |13. P V R        12, Add
               |14. R V P        13, Comm
               |15. T          14,3, MP
               |16. T & ~T     15,4, Conj.
17.  T                         4-16 IP

Edwin