SOLUTION: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. Y &#8835; ( N � U) 2. S &#8835; (~N � U) Conclusion: / Y &#8835; ~S

Click here to see ALL problems on Proofs

Question 1029122: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF
Premises:
1. Y ⊃ ( N � U)
2. S ⊃ (~N � U)
Conclusion:
/ Y ⊃ ~S
Answer by robertb(5830) (Show Source):
You can put this solution on YOUR website!
1. Y ⊃ ( N � U) ----------Hypothesis
2. ~Y v ( N � U) ----------Material Implication
3. (~Y v N) � (~Y v U)-----Distributivity
4. ~Y v N -----------------Simplification
5. Y ⊃ N -----------------Material Implication
5. S ⊃ (~ N � U)----------Hypothesis
6. ~S v ( ~N � U) ---------Material Implication
7. (~S v ~N) � (~S v U)-----Distributivity
8. ~S v ~N -----------------simplification
9. ~N v ~S -----------------Commutativity
10. N ⊃ ~S ----------------Material Implication
11. Y ⊃ ~S ----------------#5 and #10 and Hypothetical syllogism

SOLUTION: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. Y &#8835; ( N � U) 2. S &#8835; (~N � U) Conclusion: / Y &#8835; ~S

SOLUTION: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. Y ⊃ ( N � U) 2. S ⊃ (~N � U) Conclusion: / Y ⊃ ~S