SOLUTION: Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v S] ⊃ (P v Q) 2. T 3. R /P v Q

Algebra ->  Proofs -> SOLUTION: Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v S] ⊃ (P v Q) 2. T 3. R /P v Q       Log On


   

Question 1060006: Looking for a logical proof help using rules of implication! Thank you!
1. [(T • R) v S] ⊃ (P v Q)
2. T
3. R /P v Q
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!


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