1. (∀X){Ax ⊃ [Bx • Bf(x)]}

Multiple Choice

1. (∀x) {Ax ⊃ [Bx • Bf(x) ]}
2. ∼Bf(f(e) )
-Which of the following propositions is derivable from the given premises in FF?

A) ∼Ae
B) ∼Af(e)
C) Ae
D) Af(e)
E) Bf(e)