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

Multiple Choice

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

A) (∃y) (Da • Eab • Dy • Eyb • a≠y)
B) Da ⊃ Ebb
C) Da • Eab • Dc • Dcb • a≠c
D) (∃x) (Dx • Exb • Da • Eab • x≠b)
E) Dx ⊃ Ebb