令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)]答案： (B)
说明：有东西是猫，如果有其他事物，那是老鼠，猫就会追逐它。
因此它将写为∃x[C(x)∧y(R(y)→P(x，y)]。
选项(B)是正确的。
这个问题的测验