1 (∃X)(∃y){Gx • Gy • X≠y • (∀Z)[Gz ⊃ (Z=x $\lor$

question 206

Multiple Choice

1. (∃x) (∃y) {Gx • Gy • x≠y • (∀z) [Gz ⊃ (z=x $\lor$ z=y) ]}
2. Ga • Gb • Gc
-Which of the following propositions is derivable from the given premises in F?

• A) (∃x)(Gx • (∀y)x=y)
• B) (∀x)(Gx ⊃ (x=a \( \lor \) x=b)]
• C) a=b • a=c • b=c
• D) (∀x)(∃y)(Gy • x=y)
• E) a=b \( \lor \) a=c \( \lor \) b=c