SOLUTION: Does this proof look correct to you? If you notice any mistakes please let me know! Thank you!
1. A⊃(B⊃C)
2. (A⊃C)⊃D / B⊃D
3. B
Algebra.Com
Question 1004998: Does this proof look correct to you? If you notice any mistakes please let me know! Thank you!
1. A⊃(B⊃C)
2. (A⊃C)⊃D / B⊃D
3. B ACP
4. A ACP
5. B⊃C 1,4, MP
6. C 3,5, MP
7. A⊃C 4-6, CP
8. D 2,7, MP
9. B⊃D 3-8, CP
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Everything looks great. Don't forget to indent the proper parts of the proof to show where/how things are nested.
RELATED QUESTIONS
Using an indirect proof to solve this problem:
1. B ⊃ (C ⊃~B)
2. A... (answered by jim_thompson5910)
Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)
Using a conditional proof:
1. (D v E) ⊃ (F · G)
2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Could you please help me? Im sick with a bug and cant think straight :/
A)
1. A ⊃ (answered by solver91311)
Looking for a logical proof help using rules of implication! Thank you!
1. (S
(answered by solver91311)
Premises:
1. A ⊃ X
2. X ⊃ (B... (answered by math_helper)
Indirect proof
9.
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R / ∴ S
(answered by solver91311)
Hello I stuck on this question can you please help?
INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)