当前位置：首页 >
离散数学(02324) > 正文内容
令F(x):x为苹果,H(x,y):x与y完全相同,L(x,y):x=y,则命题没有完全相同的苹果的符号化形式为
令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
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。