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