1 (∃X){Ex • Fx • (∀Y)[(Ey • Y≠x) ⊃ Gxy]} $\lor$

Multiple Choice

1. (∃x) {Ex • Fx • (∀y) [(Ey • y≠x) ⊃ Gxy]}
2. En • ∼Fn
-Which of the following propositions is derivable from the given premises in F?

A) (∃x) (Ex • Gxn)
B) Gnn ⊃ ~(∃x) (x≠n • Gxn)
C) (∀x) (Ex ⊃ Gnx)
D) Gnn ⊃ ~(∀x) (x≠n ⊃ Gxn)
E) (∀x) [(Ex • Fx) ⊃ (Gxn $\lor$ Gnx) ]