下载APP
举一反三
【单选题】设 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)))