1. (∀X)[Ax ⊃ (Bx ⊃ Cx)]

Multiple Choice

1. (∀x) [Ax ⊃ (Bx ⊃ Cx) ]
2. ∼(∀x) (Bx ⊃ Dx)
-Consider assuming '(∀x) Ax' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in M of the given premises with that further assumption for conditional proof?

A) Bx ⊃ Cx
B) ∼(Bx ⊃ Dx)
C) Ax
D) ∼(∃x) ∼(Bx ⊃ Dx)
E) Ax ⊃ (Bc ⊃ Cx)