设 F（x）:x是兔子，G（y）:y是乌龟，H（x,y）: x比y跑得快。命题“并不是所有兔子都比乌龟跑得快”可符号化为
A、¬∃x(F(x)∧∀y (G(y)→H(x,y)))
B、¬∀x∀y(F(x)∧ G(y)→H(x,y))
C、¬∃x∃y(F(x)∧ G(y)→H(x,y))
D、¬∀x(F(x)∧∃y (G(y)→H(x,y)))
【正确答案】：B
【题目解析】：本题考核一阶逻辑命题的符号化，其中“所有”对应着全称量词“∀”，“并不是”表示逻辑非，“兔子都比乌龟跑得快”与“x比y跑得快”对应，是蕴含关系，且兔子和乌龟是逻辑与的关系，因此组成答案B。
