SOLUTION: Can somebody please gimme a hand 1.�S -> Q 2.(U v P) -> (F v T) 3.(R & S) -> T 4.�R -> Q 5. Q -> U concl: �T -> F

Question 962749: Can somebody please gimme a hand
1.�S -> Q
2.(U v P) -> (F v T)
3.(R & S) -> T
4.�R -> Q
5. Q -> U
concl: �T -> F
Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!


I'll try.

1.�S -> Q
2.(U v P) -> (F v T)
3.(R & S) -> T
4.�R -> Q
5. Q -> U

concl: �T -> F

6. �T -> �(R & S)          3, CP
7. �T -> �R v �S           6, DM
8. �R v �S -> Q            1,4, disjunctive elimination 
9. �T -> Q                 7,8, HS
10. �T -> U                9,5, HS
11. U -> (F v T)           2, simp.
12. �T -> (F v T)          10,11 HS
13. (~T -> F) v (�T -> T)  12, implication is left distributive over disjunction 
14. ~T -> F                13, elimination of contradiction (~T -> T)

Edwin

RELATED QUESTIONS
1. P V Q 2. Q -> (R & S) 3. (R V P) -> T /... (answered by Edwin McCravy)

Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)

Prove the argument: 1. p -> q 2. r \/ s 3. ~s -> ~t 4. ~q \/ s 5. ~s 6. (~p... (answered by Edwin McCravy)

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

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1,math_tutor2020)

I don't think it is in the book but here is one I can not solve, please help. Given... (answered by user_dude2008)

p/q=r/s, then p/q+t/u =... (answered by solver91311)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)