1 (∀X)[Ax ⊃ (∀Y)(By ⊃ Cxy)]
2 $\lor$ Ax)]
C) (∀X)[Ax ⊃ (∀Y)(By ⊃ Cyx)]
D) (∀X)[Ax ⊃

1. (∀x) [Ax ⊃ (∀y) (By ⊃ Cxy) ]
2. (∃x) [Ex • (∀y) (Hy ⊃ Cxy) ]
3. (∀x) (∀y) (∀z) [(Cxy • Cyz) ⊃ Cxz]
4. (∀x) (Ex ⊃ Bx)
-Which of the following propositions is derivable from the given premises in F?

A) (∀x) {Ex ⊃ [(∃y) Cxy ⊃ (∃y) Cyx]}
B) (∀x) [Bx ⊃ (Ex $\lor$ Ax) ]
C) (∀x) [Ax ⊃ (∀y) (By ⊃ Cyx) ]
D) (∀x) [Ax ⊃ (∀y) (Hy ⊃ Cxy) ]
E) (∀x) {Ax ⊃ (∀y) [(Hy • By) ≡ Cxy]}