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

Question 1104863: 1. P V Q
2. Q -> (R & S)
3. (R V P) -> T / T
Answer by Edwin McCravy(20055) (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

RELATED QUESTIONS
Looking for a logical proof help using rules of implication! Thank you! 1. [(T � R) v (answered by Edwin McCravy)

1. P v R 2. R -> Q ////// :. (P v Q) (answered by solver91311)

Need help with these proofs using rules of implication! Thank you! 1. P v (T v R)... (answered by Edwin McCravy)

Can somebody please gimme a hand 1.�S -> Q 2.(U v P) -> (F v T) 3.(R & S) -> T 4.�R (answered by Edwin McCravy)

i don't know where to begin p -> (q v r), (p -> r) -> (s & t), q -> r... (answered by Edwin McCravy)

Note that �->� is used for conditionals, �~� is used for negations, �v� is used for... (answered by robertb)

~[(T ^ (p v ~q)) v (r ^ (p v ~q))] = ~[(p v ~q) ^ (T v r) is this correct or wrong? (answered by robertb)

I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)

I need to solve using Transportation, Material Implication, Material Equivalence,... (answered by jim_thompson5910)