Multiple Choice
1. (∃x) (∃y) {Gx • Gy • x≠y • (∀z) [Gz ⊃ (z=x 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 x=b) ]
C) a=b • a=c • b=c
D) (∀x) (∃y) (Gy • x=y)
E) a=b a=c b=c
Correct Answer:
Verified
Correct Answer:
Verified
Q201: (∀x)[Px ⊃ (∃y)Qxy] ⊃ [(∃x)Px ⊃ (∃x)(∃y)Qxy]<br>-Consider
Q202: select the best translation into predicate
Q203: 1. (∀x)[Ax ⊃ (∃y)(By • Cxy)]<br>2. (∃x)(Ax
Q204: Translate each sentence into predicate logic, using
Q205: derive the conclusions of each of the
Q207: translate each sentence of predicate logic into
Q208: select the best translation into predicate logic,
Q209: select the best English interpretation of the
Q210: use the following translation key to write
Q211: translate the given paragraphs into arguments written