- 1、本文档共3页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学网上作业任务答案
离散数学网上作业06任务_0033答案
一、单项选择题(共?10?道试题,共?100?分。)
1.??命题公式(PúQ)的合取范式是 ( ).
HTMLCONTROL Forms.HTML:Option.1 A. (PùQ)
HTMLCONTROL Forms.HTML:Option.1 B. (PùQ)ú(PúQ)
HTMLCONTROL Forms.HTML:Option.1 C. (PúQ)
HTMLCONTROL Forms.HTML:Option.1 D. ?(?Pù?Q)
2.??前提条件的有效结论是( ).
HTMLCONTROL Forms.HTML:Option.1 A. P
HTMLCONTROL Forms.HTML:Option.1 B. ?P
HTMLCONTROL Forms.HTML:Option.1 C. Q
HTMLCONTROL Forms.HTML:Option.1 D. ?Q
3.??命题公式(PúQ)?Q为(????? )
HTMLCONTROL Forms.HTML:Option.1 A. 矛盾式
HTMLCONTROL Forms.HTML:Option.1 B. 可满足式
HTMLCONTROL Forms.HTML:Option.1 C. 重言式
HTMLCONTROL Forms.HTML:Option.1 D. 合取范式
4.??设C(x):x是国家级运动员,G(x):x是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为 ( ).
HTMLCONTROL Forms.HTML:Option.1 A.
HTMLCONTROL Forms.HTML:Option.1 B.
HTMLCONTROL Forms.HTML:Option.1 C.
HTMLCONTROL Forms.HTML:Option.1 D.
5.??表达式中的辖域是( ).
HTMLCONTROL Forms.HTML:Option.1 A. P(x, y)
HTMLCONTROL Forms.HTML:Option.1 B. P(x, y)úQ(z)
HTMLCONTROL Forms.HTML:Option.1 C. R(x, y)
HTMLCONTROL Forms.HTML:Option.1 D. P(x, y)ùR(x, y)
6.??下列等价公式成立的为( ).
HTMLCONTROL Forms.HTML:Option.1 A. ?Pù?Q?PúQ
HTMLCONTROL Forms.HTML:Option.1 B. P?(?Q?P) ??P?(P?Q)
HTMLCONTROL Forms.HTML:Option.1 C. Q?(PúQ) ??Qù(PúQ)
HTMLCONTROL Forms.HTML:Option.1 D. ?Pú(PùQ) ?Q
7.??命题公式的析取范式是( ).
HTMLCONTROL Forms.HTML:Option.1 A.
HTMLCONTROL Forms.HTML:Option.1 B.
HTMLCONTROL Forms.HTML:Option.1 C.
HTMLCONTROL Forms.HTML:Option.1 D.
8.??下列等价公式成立的为(??? ).
HTMLCONTROL Forms.HTML:Option.1 A. ?PùP ??QùQ
HTMLCONTROL Forms.HTML:Option.1 B. ?Q?P?P?Q
HTMLCONTROL Forms.HTML:Option.1 C. PùQ?PúQ
HTMLCONTROL Forms.HTML:Option.1 D. ?PúP ?Q
9.??谓词公式是( ???).
HTMLCONTROL Forms.HTML:Option.1 A.
不可满足的
HTMLCONTROL Forms.HTML:Option.1 B. 可满足的
HTMLCONTROL Forms.HTML:Option.1 C. 有效的
HTMLCONTROL Forms.HTML:Option.1 D. 蕴含式
10.??设个体域D={a, b, c},那么谓词公式消去量词后的等值式为 .
HTML
文档评论(0)