SOLUTION: Use an ordinary proof to show the conclusion can be derived from the premises.
1. ~N ⊃ (~R ⊃ C)
2. R ⊃ N
3. ~C / N
Algebra.Com
Question 1029890: Use an ordinary proof to show the conclusion can be derived from the premises.
1. ~N ⊃ (~R ⊃ C)
2. R ⊃ N
3. ~C / N
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
1. ~N ⊃ (~R ⊃ C) -------------------Hypothesis
2. (~N &~R) ⊃ C) --------------------exportation
3. ~(N vR) ⊃ C -------------------de Morgan's law
4. ~C ⊃(N vR) -------------------Contrapositive of #3
5. ~C --------------------Hypothesis
6. N v R ---------------------modus ponens on #4 and #5
7. R ⊃ N ---------------------Hypothesis
8. ~R v N ----------------------material implication
9. (N v R) & (N v ~R) ----------------Commutativity on #8, and conjunction on #6 and #8
10. N v ( R & ~R) -------------------distributivity
11. N v F ---------------------negation law
12. N ---------------------Identity Law
RELATED QUESTIONS
Use an ordinary proof to show the conclusion can be derived from the premises.
1. G... (answered by Edwin McCravy)
Use an ordinary proof to show the conclusion can be derived from the premises.
1. K... (answered by Edwin McCravy)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF
Premises:
1. G ⊃ (E... (answered by robertb)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF
Premises:
1. Y ⊃ ( N • U)
(answered by robertb)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.
(answered by AnlytcPhil)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.
(answered by jim_thompson5910)
Hello I stuck on this question can you please help?
INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)