第三章命题逻辑推理理论.ppt

例题（2） 形式结构：? 前提：(p∧q)→r,┐s∨p,q

???? 结论：s→r（3）证明：用附加前提证明法??①s???????? 附加前提引入②┐s∨p??? 前提引入?③p???????? ①②析取三段论④(p∧q)→r 前提引入⑤q???????? 前提引入?⑥p∧q????? ③⑤合取?⑦r???????? ④⑥假言推理归谬法（反证法）有时推理的形式结构具有如下形式：

前提：A1,A2,…,Ak

结论：B如果将┐B作为前提能推出矛盾来，则说明推理正确。

前提：A1,A2,…,Ak,?B

结论：矛盾理由：A1?A2?…?Ak?B

??(A1?A2?…?Ak)?B

??(A1?A2?…?Ak??B)若A1?A2?…?Ak??B为矛盾式，则说明(A1?A2?…?Ak?B)

为重言式。例题例3.6在自然推理系统P中构造下面推理的证明。????如果小张守第一垒并且小李向B队投球，则A队将取胜；或者A队未取胜，或者A队获得联赛第一名；A队没有获得联赛的第一名；小张守第一垒。因此，小李没有向B队投球。构造证明：（1）将简单命题符号化：设p:小张守第一垒。 q:小李向B队投球。

??????r:A队取胜。 s:A队获得联赛第一名。（2）形式结构：??前提：(p∧q)→r,┐r∨s,┐s,p

????结论：┐q例题（3）证明：用归谬法①q???????? 结论的否定引入②┐r∨s??? 前提引入③┐s?????? 前提引入④┐r?????? ②③析取三段论⑤(p∧q)→r 前提引人⑥┐(p∧q)? ④⑤拒取式⑦┐p∨┐q? ⑥置换⑧p???????? 前提引入⑨┐q?????? ⑦⑧析取三段论⑩q∧┐q??? ①⑨合取由于最后一步为矛盾式，所以推理正确。小节结束本章主要内容推理的形式结构：

?推理的前提

?推理的结论

?推理正确判断推理是否正确的方法：

?真值表法

?等值演算法

?主析取范式法?对于正确的推理，在自然推理系统P中构造证明:

?自然推理系统P的定义

?自然推理系统P的推理规则：

?附加前提证明法

?归谬法本章学习要求理解并记住推理的形式结构的三种等价形式，即

①{A1,A2,…,Ak}├B

②A1∧A2∧…∧Ak→B

③前提：A1,A2,…,Ak

???结论：B在判断推理是否正确时，用②；在P系统中构造证明时用③。?熟练掌握判断推理是否正确的三种方法（真值表法，等值演算法，主析取范式法）。?牢记P系统中的各条推理规则。?对于给定的正确推理，要求在P系统中给出严谨的证明序列。?会用附加前提证明法和归谬法。?小节结束习题1、用不同的方法验证下面推理是否正确。对于正确的推理还要在P系统中给出证明。（1）前提：?p?q,?q结论：?p（2）?前提：q?r,p??r结论：q??p（1）不正确。验证答案，只需证明(?p?q)??q??p不是重言式。方法一等值演算(?p?q)??q??p??((p?q)??q)??p?(?p??q)?q??p?((?p?q)?(?q?q))??p??p?q易知10是成假赋值，故(?p?q)??q??p不是重言式，所以推理不正确。方法二主析取范式法经过演算后可知(?p?q)??q??p?m0?m1?m3未含m2,故(?p?q)??q??p不是重言式。方法三直接观察出10是成假赋值。方法四真值表法(?p?q)??q??p的真值表为pq(?p?q)??q??p001101010111结论（不正确）是对的。（2）推理正确方法一真值表法（自己做）方法二等值演算法（自己做）方法三主析取范式法（自己做）方法四P系统中构造证明证明：（直接证明法）①p??r （前提引入）②r??p （①置换）③q?r （前提引入）④q??p （③②假言三段论）2、在P系统中构造下面推理的证明：如果今天是周六，我们就到颐和园或圆明园