当前位置：首页 >
离散数学(02324) > 正文内容
设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
A.∀x(F(x)→∀y(G(y)→L(x,y)))
B.∃x(F(x)⋀∃y(G(y)⋀L(x,y)))
C.¬∃y(G(y)⋀∀x(F(x)→L(y,x)))
D.¬∀y(G(y)→∀x(F(x)→L(x,y)))
正确答案是B
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。