当前位置:首页 > 离散数学(02324) > 正文内容

设 F(x):x是兔子,G(y):y是乌龟,H(x,y): x比y跑得快。命题“并不是所有兔子都比乌龟跑得快”可符号化为

高老师2年前 (2024-03-26)离散数学(02324)18

设 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

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。

本文链接:https://doc.20230611.cn/post/431348.html

分享给朋友: