原创力文档- 1、本文档共39页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
1主要内容推理的形式结构推理的正确与错误推理的形式结构判断推理正确的方法推理定律自然推理系统P形式系统的定义与分类自然推理系统P在P中构造证明:直接证明法、附加前提证明法、归谬法第三章命题逻辑的推理理论
23.1推理的形式结构推理：从前提出发推导出结论思维过程， 前提是已知的命题公式集合， 结论是从前提出发应用推理规则推出的命题公式。什么样的推理是正确的有效的？定义3.1设A1,A2,…,Ak,B为命题公式.若对于每组赋值， A1?A2?…?Ak为假， 或当A1?A2?…?Ak为真时B也为真， 则称由前提A1,A2,…,Ak推出结论B的推理是有效的或正确的,并称B是有效结论.定理3.1由命题公式A1,A2,…,Ak推出B的推理正确当且仅当A1?A2?…?Ak?B为重言式注意:推理正确不能保证结论一定正确
注：1）由前提集合A1，A2，A3，…，Am推出B的推理是否是有效的与前提集合各命题公式的次序无关。2）由推理形式A1∧A2∧…∧Am→B取得真值的几种情况： a)A1∧A2∧…∧Am真值为F，B为Fb)A1∧A2∧…∧Am真值为F，B为Tc)A1∧A2∧…∧Am真值为T，B为Fd)A1∧A2∧…∧Am真值为T，B为T当取得a)、b)、d)三种情况均称为有效推理3）由推理有效的定义可得出：推理有效（推理正确）并不能保证结论B一定为真 推理有效（推理正确）是指推理过程是合乎逻辑的（即：只要前提集合是真的，那么结论一定是真的）
4推理的形式结构2.A1?A2?…?Ak?B若推理正确,记为A1?A2?…?Ak?B3.前提：A1,A2,…,Ak结论：B判断推理是否正确的方法:真值表法：没有前提真而结论假的情况等值演算法：重言式主析取范式法：含所有极小项推理的形式结构1.{A1,A2,…,Ak}B若推理正确,记为{A1,A2,?,An}B
例：前提公式：A1：Ｐ→Ｑ，A2∶?Ｐ，结论B∶Ｑ真值表为PQP→Q┑PA1∧A2B001110011111100000111001可知B不是A1,A2的有效结论例：前提公式A1：Ｐ→Ｑ，A2∶Ｐ，结论B∶Ｑ真值表为PQP→QPA1∧A2B001000011001100100111111可知B是A1,A2的有效结论
6推理实例例1判断下面推理是否正确(1)若今天是1号，则明天是5号.今天是1号.所以,明天是5号.(2)若今天是1号，则明天是5号.明天是5号.所以,今天是1号.解设p：今天是1号，q：明天是5号.(1)推理的形式结构:(p?q)?p?q用等值演算法(p?q)?p?q??((?p?q)?p)?q??p??q?q?1由定理3.1可知推理正确
7推理实例(2)推理的形式结构:(p?q)?q?p用主析取范式法(p?q)?q?p?(?p?q)?q?p??((?p?q)?q)?p??q?p?(?p??q)?(p??q)?(p??q)?(p?q)?m0?m2?m3结果不含m1,故01是成假赋值，所以推理不正确
文档评论（0）