SOLUTION: Please help! A ⊃ B A ⊃ (B ⊃ C) B ⊃ (C ⊃ D) ∴ A ⊃ D

Algebra.Com
Question 1099349: Please help!
A ⊃ B
A ⊃ (B ⊃ C)
B ⊃ (C ⊃ D)
∴ A ⊃ D
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
 1.  A ⊃ B
 2.  A ⊃ (B ⊃ C)
 3.  B ⊃ (C ⊃ D)      /∴ A ⊃ D

                   |4.  A          ACP
                   |5.  B        1,4, MP
                   |6.  B ⊃ C    2,4, MP
                   |7.  C        6,5, MP
                   |8.  C ⊃ D    3,5, MP
                   |9.  D        8,7, MP
10. A ⊃ D                        4-9 CP

Edwin
RELATED QUESTIONS

Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
∼A∙~B ~D⊃A M⊃[(NvO)⊃P] Q⊃(SvT)... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Premise 1: D⊃ [D⊃ (B & ~Q)] Premise 2: (~Q & B)⊃ C Conclusion:... (answered by jim_thompson5910)
Does this proof look correct to you? If you notice any mistakes please let me know! Thank (answered by jim_thompson5910)
Using a conditional proof: 1. (D v E) ⊃ (F · G) 2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)