设 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
设 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