SOLUTION: COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF
Premises:
1. Y ⊃ ( N • U)
2. S ⊃ (~N • U)
Conclusion:
/ Y ⊃ ~S
Algebra.Com
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
RELATED QUESTIONS
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF
Premises:
1. G ⊃ (E... (answered by robertb)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF... (answered by robertb)
Please complete the following natural deduction proof.
1. A ⊃ U
/ A ⊃ (K (answered by robertb)
Use conditional proof or indirect proof to establish the truth of the following... (answered by math_helper)
Use an ordinary proof to show the conclusion can be derived from the premises.
1. ~N... (answered by robertb)
Can i please have help solving these proofs?
Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
How do I complete the following proofs?
Premises:
1. L ⊃ M
2. L
3. K v Q... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)