原创力文档- 1、本文档共2页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散作业章
第2章
2-1，2-2：1
（1）用谓词表达式写出下列命题。
a）小张不是工人。
b）他是田径或球类运动员。
c）小莉是非常聪明和美丽的。
d）若m是奇数，则2m不是奇数。
e）每一个有理数是实数。
f）某些实数是有理数。
g）并非每一个实数都是有理数。
h）直线A平行于直线B，当且仅当直线A不相交于直线B。
2-3：3
（3）利用谓词公式翻译下列命题：
a）如果有限个数的乘积为零，那么至少有一个因子等于零。
b）对于每一个实数x，存在一个更大的实数y。
c）存在实数x，y和z，使得x与y之和大于x与z之积。
2-4：1
（1）对下面每个公式指出的约束变元和自由变元。
a）。
b）。
c）。
d）。
2-5：2，4，7
（2）对以下各公式赋值后求真值。
a）。
b）。
c）。
d）。
其中，论域；
（4）求证：。
（7）求证：。
2-6：1
（1）把以下各式化为前束范式。
a）。
b）。
c）。
2-7：1，2，3
（1）证明下列各式：
a）。
b）。
c）。
d）。
（2）用规则证明：
a）。
b）。
（3）符号化下列命题并推证其结论。
a）所有有理数是实数，某些有理数是整数，因此某些实数是整数。
b）任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因而有的人不爱步行。
c）每个大学生不是文科学生就是理工科学生，有的大学生是优等生，小张不是理工科学生，但他是优等生，因而如果小张是大学生，他就是文科生。
文档评论（0）