1.  A —> X           Premise

2. X —> (B —> C)     Premise

3.:: A & B           Conditional Proof (CP) assumption #1

4.:: A               3, AND Elimination (AE)

5.:: X               4,1 Modus Ponens (MP)

6.:: B —> C          5,2 MP

7.:: B               3, AE

8.:: C               7,6  MP

8. (A & B) —> C      3-8, CP




 

RELATED QUESTIONS

Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)

Please help!

A ⊃ B
A ⊃ (B ⊃ C)
B ⊃ (C ⊃ D)
∴ A... (answered by Edwin McCravy)

Premises: 
1. X ⊃ ~W                                       
2. ~V ⊃ W... (answered by math_helper)

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)

Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

Using an indirect proof to solve this problem:

1. B ⊃ (C ⊃~B)
2. A... (answered by jim_thompson5910)

How do I complete the following proofs?

Premises:
1.  L ⊃ M
2.  L
3. K v Q... (answered by Edwin McCravy)

Premise 1: D⊃ [D⊃ (B & ~Q)]
Premise 2: (~Q & B)⊃ C
Conclusion:... (answered by jim_thompson5910)