原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1
第一章 习题课
命题符号化
公式的类型
真值表及应用
第1页/共36页
2
1. 将下列命题符号化
(1) 由于交通阻塞，他迟到了.
(2) 如果交通不阻塞，他就不会迟到.
(3) 他没迟到，所以交通没阻塞.
(4) 除非交通阻塞，否则他不会迟到.
(5) 他迟到当且仅当交通阻塞.
练习1
第2页/共36页
3
答案: 设 p: 交通阻塞，q: 他迟到
(1) pq
(2) pq
(3) qp
(4) qp
(5) qp
练习1解答
第3页/共36页
4
2. 用真值表判断下面公式的类型
(1) pr(qp)
(2) ((pq) (qp)) r
(3) (pq) (pr)
练习2
第4页/共36页
5
练习2解答
(1) pr(qp)
矛盾式
p q r
qp
(qp)
pr(qp)
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
1
1
0
0
1
1
1
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
第5页/共36页
6
练习2解答
(2) ((pq) (qp)) r
永真式
第6页/共36页
7
练习2解答
(3) (pq) (pr)
非永真式的可满足式
p q r
pq
pr
(pq) (pr)
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
1
1
1
1
1
0
0
1
第7页/共36页
8
第二章 习题课
等值式与等值演算
基本等值式（16组，24个公式）
主析取范式与主合取范式
第8页/共36页
9
练习1: 判断公式类型
解 用等值演算法求主范式
(pq)(qp)
(pq)(qp)
(pq)(qp)
(pq)(pq)(pq)(pq)
m2 m1 m3 m0
m0 m1 m2 m3 主析取范式
1 主合取范式
1. 判断下列公式的类型:
(1) (pq)(qp)
重言式
第9页/共36页
10
练习题1(续)
解 用等值演算法求公式的主范式 (pq)q
(pq)q
pqq
0 主析取范式
M0 M1 M2 M3 主合取范式
(2) (pq)q
矛盾式
第10页/共36页
11
解 用等值演算法求公式的主范式
(pq)p
(pq)p
p
(pq)(pq)
m0 m1 主析取范式
M2 M3 主合取范式
(3) (pq)p
练习1(续)
非重言式的可满足式
第11页/共36页
12
第三章 习题课
理解并记住推理形式结构的两种形式：
1. (A1A2…Ak)B
2. 前提：A1, A2, … , Ak
结论：B
熟练掌握构造证明的直接证明法、附加前提证明法和归谬法
会解决实际中的简单推理问题
第12页/共36页
13
练习1：判断推理是否正确
1. 判断下面推理是否正确:
(1) 前提：pq, q
文档评论（0）