1 (∃X)(∃y)(Dx • Exb • Dy • Eyb • X≠y) $\lor$

Multiple Choice

1. (∃x) (∃y) (Dx • Exb • Dy • Eyb • x≠y)
2. (∀x) (Dx ⊃ Ebx)
-Which of the following propositions is derivable from the given premises in F?

A) ~(∃x) (Dx • Exx)
B) (∃x) (∃y) (Ebx • Exb • Eby • Eyb • x≠y)
C) (∀x) (Ebx ⊃ Dx)
D) ~(∃x) (∃y) (Dx • Dy • Exy)
E) (∀x) (∀y) [x≠y ⊃ (Dx $\lor$ Dy) ]