Question 665955: 1. (QvR)->(WvU)
2. W->P
3. Q.T
4. U->Z
5. S->M
6. Sv~Y
7. (PvZ)->~M :. ~Y
I need help solving this.
I have the following information:
8. Q 3, Simp
9. T 3, Simp
10. Q∨R 8, Add
11. W∨U 1,10, MP
12. U∨W 11, Com
13. ~~Q 8, DN
14. ~~T 9, DN
15. ~~Q∙~~T 13,14, Conj
16. ~(~Q∨~T) 15, DeM
17. ~(~T∨~Q) 16, Com
18. P∨Z 11,2,4, CD
19. ~M 7,18, MP
20. ~S 5,19, MT
21. ~S∨~Y 20, Add
22. ~Y∨~S 21, Com
23. ~(Y∙S) 22, DeM
24. ~(S∙Y) 23, Com
Answer by lynnlo(4176)   (Show Source):
|
|
|
