SOLUTION: I am having trouble solving the following propositional logic proofs. 1. Conclusion: N + Y 1. K > (N & P) 2. S > (X & Y) 3. S + K 2. Conclusion: ~Q > ~M 1. M

Click here to see ALL problems on Proofs

Question 374237: I am having trouble solving the following propositional logic proofs.
1. Conclusion: N + Y
1. K > (N & P)
2. S > (X & Y)
3. S + K
2. Conclusion: ~Q > ~M
1. M > [ Q + ~(E + H) ]
2. ~E > H
3. Conclusion: A & D
1. ~D > (F & P)
2. ~A > ~(F + P)
3. (F <=> P) > (~~D & A)
4. Conclusion: F > (Y > F)
1. Q
5. Conclusion: ~(~Q > ~X) > ~J
1.J > (M > Q)
2. X > (M + V)
3. J > (V > ~X)
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!
I'll do the first one to get you started.

1. K > (N & P) 2. S > (X & Y) 3. S + K :. N+Y ------------------------------------------------- 4. [K > (N & P)] & [S > (X & Y)] 1,2 Conjunction 5. (N & P) + (X & Y) 4,3 Constructive Dilemma 6. [(N & P) + X] & [(N & P) + Y] 5 Distibution 7. [(N & P) + Y] & [(N & P) + X] 6 Commutation 8. (N & P) + Y 7 Simplification 9. Y + (N & P) 8 Commutation 10. (Y + N) & (Y + P) 9 Distribution 11. Y + N 10 Simplification 12. N + Y 11 Commutation

SOLUTION: I am having trouble solving the following propositional logic proofs. 1. Conclusion: N + Y 1. K > (N & P) 2. S > (X & Y) 3. S + K 2. Conclusion: ~Q > ~M 1. M > [ Q + ~(E