1 (∀X)(Cx ⊃ Dx)
2 $\lor$ Cx)

Multiple Choice

1. (∀x) (Cx ⊃ Dx)
2. (∀x) (Ex ⊃ ∼Dx)
-Which of the following propositions is derivable from the given premises in M?

A) (∀x) (Ex ⊃ Cx)
B) (∀x) (Ex ⊃ ∼Cx)
C) (∃x) Ex
D) (∃x) Dx
E) (∀x) (∼Ex $\lor$ Cx)