【单选题】设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)))
【单选题】设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)))
发布时间：2025-08-10 23:01:59
