命题逻辑的推理理论.pptVIP

第1页，共35页，星期日，2025年，2月5日数理逻辑的主要任务是用数学的方法来研究数学中的推理。推理是指从前提出发推出结论的思维过程。前提是已知命题公式集合。结论是从前提出发应用推理规则推出的命题公式。证明是描述推理正确或错误的过程。要研究推理，首先应该明确什么样的推理是有效的或正确的。第2页，共35页，星期日，2025年，2月5日定义1.24设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，

（1）或者A1∧A2∧…∧Ak为假;

（2）或者当A1∧A2∧…∧Ak为真时，B也为真;

则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。有效推理的定义即：（A1∧A2∧…∧Ak）→B为重言式第3页，共35页，星期日，2025年，2月5日关于有效推理的说明?＝{A1，A2，…，Ak}

由?推B的推理记为┣B

若推理是正确的，记为?╞B

若推理是不正确的，记为?B由前提A1，A2，…，Ak推结论B的推理是否正确与诸前提的排列次序无关。第4页，共35页，星期日，2025年，2月5日设A1，A2，…，Ak，B中共出现n个命题变项，对于任何一组赋值α1α2…αn(αi=0或者1，i=1,2,…,n)，前提和结论的取值情况有以下四种：

(1)A1∧A2∧…∧Ak为0，B为0。

(2)A1∧A2∧…∧Ak为0，B为1。

(3)A1∧A2∧…∧Ak为1，B为0。

(4)A1∧A2∧…∧Ak为1，B为1。只要不出现(3)中的情况，推理就是正确的，因而判断推理是否正确，就是判断是否会出现(3)中的情况。推理正确，并不能保证结论B一定为真。第5页，共35页，星期日，2025年，2月5日?(1){p,p→q}├q?(2){p,q→p}├q例1判断下列推理是否正确。（真值表法）pqp?(p→q)qp?(q→p)q000000010101100010111111正确不正确第6页，共35页，星期日，2025年，2月5日当推理正确时，形式（1）记为?╞B。形式（2）记为A1?A2?…?Ak?B。

?表示蕴涵式为重言式。?={A1,A2,…,Ak}，记为?┣B。A1?A2?…?Ak?B前提：A1,A2,…,Ak

结论：B说明推理的形式结构第7页，共35页，星期日，2025年，2月5日真值表法等值演算法主析取范式法判断推理是否正确的方法是否有其他的证明方法？思考当命题变项较少时,这三种方法比较方便。说明第8页，共35页，星期日，2025年，2月5日下午马芳或去看电影或去游泳。她没去看电影，所以，她

去游泳了。例2判断下列推理是否正确。（等值演算法）解：设p:马芳下午去看电影，q:马芳下午去游泳。 前提：p∨q，┐p

结论：q

推理的形式结构：((p∨q)∧┐p)→q((p∨q)∧┐p)→q?┐((p∨q)∧┐p)∨q?((┐p∧┐q)∨p)∨q?((┐p∨p)∧(┐q∨p))∨q?(┐q∨p)∨q?1例题第9页，共35页，星期日，2025年，2月5日(1)A?(A∨B)???????????????????????? 附加律(2)(A∧B)?A?????????????????????????? 化简律(3)?(A→B)∧A?B?????????????????????????? 假言推理(4)(A→B)∧┐B?┐A????????????????????? 拒取式(5)(A∨B)∧┐B?A???????????????????????? 析取三段论(6)?(A→B)∧(B→C)?(A→C)?????????????? 假言三段论(7)?(A?B)∧(B?C)?(A?C) 等价三段论(8)?(A→B)∧(C→D)∧(A∨C)?(B∨D)???????? 构造性二难(9)(A→B)∧(C→D)∧(┐B∨┐D)?(┐A∨┐C)破坏性二难推理定律--重言蕴含式第10页，共35页，星期日，2025年，2月5日关于推理定律的几点说明A,B,C为元语言符号，代表任意的命题公