- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
东北大学期末考核《离散数学X》期末考试备战高分题集--第1页
离散数学X期末考试备战题集
一、有两个小题
1.分别说明联结词、∧、∨、→和在自然语言中表示什么含义。
解:“”表示“…不成立”,“不…”。
“∧”表示“并且”、“不但…而且...”、“既…又...”等。
“∨”表示“或者”,是可兼取的或。
“”表示如果…,则…;只要…,就…;只有…,才…;仅当…。
“”表示“当且仅当”、“充分且必要”。
2.分别列出PQ、PQ、PQ、PQ的真值表(填下表)。
PQPQPQPQPQ
1
东北大学期末考核《离散数学X》期末考试备战高分题集--第1页
东北大学期末考核《离散数学X》期末考试备战高分题集--第2页
解:
PQPQPQPQPQ
FFTFTF
FTFTTF
TFFTFF
TTTTTT
二、1.指出下面的命题公式中哪些是永真式(只写题号即可)。
(1).(P∧(P→Q))→Q(2).P→(P∨Q)
(3).(P∧Q)→Q(4).(P∨Q)→P
解:(1),(2),(3)为永真式。
2.然后对上面的永真式任选其中一个给予证明(方法不限)。
证明(3).(P∧Q)→Q
2
东北大学期末考核《离散数学X》期末考试备战高分题集--第2页
东北大学期末考核《离散数学X》期末考试备战高分题集--第3页
设前件(P∧Q)为真,则得Q为真。所以(P∧Q)→Q是永真式。
3.上面哪个不是永真式(找出一个即可),请说明它为什么不是永真式。
解:(4).(P∨Q)→P不是永真式。
因为如果前件P∨Q为真,后件P不一定为真。所以(P∨Q)→P不是永真式。
三、用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写
推理过程。
x(B(x)C(x)),xA(x),x(A(x)C(x))xB(x)
解:⑴xA(x)P
⑵A(a)ES⑴
⑶x(A(x)C(x))P
⑷A(a)C(a)US⑶
⑸C(a)T⑵⑷I
⑹x(B(x)C(x))P
⑺B(a)C(a)US⑹
3
东北大学期末考核《离散数学X》期末考试备战高分题集--第3页
东北大学期末考核《离散数学X》期末考试备战高分题集--第4页
⑻B(a)
文档评论(0)