原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第一章 命题逻辑
第 7 页第 3 题
解：（此题注意：P 仅当Q 翻译成 P ? Q ）逆命题：如果你去，那么我逗留。
反命题：如果我不逗留，那么你没去。 逆反命题：如果你没去，那么我不逗留。
解：逆命题：如果方程xn ? yn ? zn 无整数解，那么n 是大于 2 的正整数。
反命题：如果n 不是大于 2 的正整数，那么方程 xn
yn ? zn 有整数解。
逆反命题：如果方程 xn
yn ? zn 有整数解，那么n 不是大于 2 的正整数。
解：逆命题：如果我不完成任务，那么我不获得更多的帮助。 反命题：如果我获得了更多的帮助，那么我能完成任务。 逆反命题：如果我能完成任务，那么我获得了更多的帮助。
第 7 页第 4 题
（1） (?(P ? Q ? ?R) ? ((Q ? ?P) ? (R ? ?S )))
= (?(T ? T ? ?F ) ? ((T ? ?T ) ? (F ? ?F )))
= ?T ? (F ? T )
= T ? F
= T
（3） (P ? (Q ? (R ? ?P))) ? (Q ? ?S )
= (T ? (T ? (F ? ?T ))) ? (T ? ?F )
= (T ? (T ? F )) ? T
= T ? T
= T
第 7 页第 5 题
P ? Q) ? (P ? R)（2） ?(P ? Q ? R) ?
P ? Q) ? (P ? R)
P
Q
R ?(P ? Q ? R)
(P ? Q) ? (P ? R) ?(
P ? Q ? R) ? (
F
F
F
T
F
F
F
F
T
T
F
F
F
T
F
T
F
F
F
T
T
F
T
F
T
F
F
F
T
F
T
F
T
F
T
F
T
T
F
F
T
F
T
T
T
F
T
F
? R) ? Q ? ?R（4） ?(P ? P ? ?Q
? R) ? Q ? ?R
P
Q
R ?(P ? P ? ?Q ? R)
?(P ? P ? ?Q
F
F
F
T
T
F
F
T
F
F
F
T
F
T
T
F
T
T
F
F
T
F
F
T
T
T
F
T
F
F
T
T
F
F
T
T
T
T
F
F
P第 7 页第 6 题证明：
P
P
Q
P ? Q
P ? Q
Q ?
F
F
T
T
T
F
T
F
T
F
T
F
F
F
T
T
T
T
T
T
由上表可知：当 P ? Q 为T 时， P ? Q 和Q ? P 都是T ； P ? Q 和Q ? P 为T 时，
P ? Q 为T 。故命题得证。
Q第 7 页第 7 题
Q
P
Q
P ? Q
?P ?
F
F
T
T
F
T
T
T
T
F
F
F
T
T
T
T
6．第 7 页第 8 题
（1） ? ， ? ， ?
是可交换的。
（2）真值表如下：
P
Q
P ? Q
Q ? P
P ? Q
Q ? P
P ? Q
Q ? P
P ? Q
Q ?
F
F
F
F
F
F
T
T
T
T
F
T
F
F
T
T
T
F
F
F
T
F
F
F
T
T
F
T
F
F
T
T
T
T
T
T
T
T
T
T
P第 7 页第 9 题
P
?, ?, ? 是可结合的。
) ?
) ? R
? R)
P
Q
R
(P ? Q) ? R
(P ? Q) ? R
(P ? Q) ? R
(P ? Q
F
F
F
F
F
F
T
F
F
T
F
T
T
T
F
T
F
F
T
F
T
F
T
T
F
T
T
F
T
F
F
F
T
T
T
T
F
T
F
T
T
F
T
T
F
F
T
F
F
T
T
T
T
T
T
T
P
Q
R
P ? (Q ? R)
P ? (Q ? R)
P ? (Q ? R)
P ? (Q
F
F
F
F
F
T
T
F
F
T
F
T
T
T
F
T
F
F
T
T
T
F
T
T
F
T
T
F
T
F
F
F
T
T
T
T
F
T
F
T
T
F
T
T
F
F
T
F
F
T
T
T
T
T
T
T
第 15 页第 1 题
（1）重言式
P ? ?P ? T
（3）重言式
P ? ?(?P) ? T
（5）重言式
?(P ? Q) ? (?P ? ?Q) ? (?P ? ?Q) ? (?P ? ?Q) ? T
重言式
P ? ?P ? Q
= F ? Q ? T
可满足式
P ? ?Q ? Q
= ?(P ? ?Q) ? Q ? ?P ? Q ? Q ，当Q 为真时公式为真，Q 为假时公式为假。故为可满足式。
（14）可满足式
((P ? Q) ? (R ? S )) ? ((P ? R) ? (Q ? S ))
= (?P ? Q ? ?R ? S ) ? (?P ? ?R ? Q ? S )
= ((?P ? ?R) ? (Q ?
文档评论（0）