国际空间研究组织 | ISRO CS 2020 |问题 11

鉴于

B(a) means “a is a bear”
F(a) means “a is a fish” and
E(a, b) means “a eats b” 

那么最好的意思是什么

∀x[F(x) ⇒ ∀y(E(y, x) ⇒ B(y))] 

(A)每条鱼都被熊吃掉
(B)熊只吃鱼
(C)每只熊都吃鱼
(D)只有熊吃鱼答案： (D)
解释：根据谓词和量词，

• (A)每条鱼都被熊吃掉：

  ∀x(F(x) ⇒ ∃y(B(y)∧E(y,x))) 

• (B)熊只吃鱼：

  ∀x(B(x) ⇒ ∀y(E(x,y)⇒F(y)) 

• (C)每只熊都吃鱼：

  ∀x(B(x) ⇒ ∃y(F(y)∧E(x,y)) 

• (D)只有熊吃鱼：

  ∀x[F(x) ⇒ ∀y(E(y, x) ⇒ B(y))] 

  这相当于“对于每个 x，如果 x 是一条鱼，那么如果它被 y 吃掉，那么 y 只是熊。”

选项（D）是正确的。
这个问题的测验