企源知识库

令F(x):x为苹果,H(x,y):x与y完全相同,L(x,y):x=y,则命题没有完全相同的苹果的符号化形式为
A、¬∃x∃y(F(x)⋀F(y)⋀L(x,y)→H(x, y))
B、¬∃x∃y(F(x)⋀F(y)⋀¬L(x,y)⋀H(x, y))
C、¬∃x∃y(F(x)⋀F(y)⋀¬L(x,y)→H(x, y))
D、∀x∀y(F(x)⋀F(y)⋀¬L(x,y)⋀H(x, y))
【正确答案】：B