让 C(x) 表示“x 是一只猫”，R(x) 表示“x 是一只老鼠”，而 P(x,y) 表示“x 追逐 y”。
以下哪个陈述表示“一些猫追逐所有老鼠”?
(A) ∃x[C(x)→∀y(R(y)→P(x,y)]
(B) ∃x[C(x)∧ ∀y(R(y)→P(x,y)]
(C) ∃x[C(x)∧ ∀y(R(y)∧P(x,y)]
(D) ∃x[C(x)∧ ∀y(R(x)→P(x,y)]答案：(乙)
解释：有某种东西是一只猫，对于任何其他东西，如果那东西是一只老鼠，那么猫就会追逐它。
所以它会写成 ∃x[C(x)∧ ∀y(R(y)→P(x,y)]。
选项(B)是正确的。
这个问题的测验