3.2-自然推理系统P+4.1.pptVIP

3.2自然推理系统P在推理过程中，如果命题变项较多，则采用真值表法，等值演算法，主析取范式法这三种方法都不方便，因而本节介绍一种构造证明方法。构造证明是一个描述推理过程的命题公式的序列，其中每个公式或者是已知前提，或者是由某些前提应用推理规则得到的结论。推理定律（重言蕴涵式）（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）破坏性二难如果A?B成立，则推理A?B是正确的；同时推理B?A也是正确的。定义（自然推理系统P）自然推理系统P由以下三个部分组成：3、推理规则（12个）由九条推理定律和结论引入规则可以导出以下各条推理定律。（4）假言推理规则（分离推理规则）：若证明的公式序列中出现过A→B和A，则由假言推理定律（A→B）∧A?B可知，B是A→B和A的有效结论，由结论引入规则可知，可将B引入到命题序列中来。（5）附加规则：A?（A∨B）（6）化简规则：A∧B?A（7）拒取式规则：（A→B）∧┐B?┐A（8）假言三段论规则：（A→B）∧（B→C）?（A→C）（9）析取三段论规则：（A∨B）∧┐B?A（10）构造性二难推理规则：（A→B）∧（C→D）∧（A∨C）?（B∨D）（11）破坏性二难推理规则：（A→B）∧（C→D）∧（┐B∨┐D）?（┐A∨┐C）（12）合取引入规则：若证明的公式序列中出现过A和B，则A∧B是A和B的有效结论。推理规则（12个） （1）前提引入规则 （2）结论引入规则（隐规则） （3）置换规则：等值置换 （4）假言推理规则：（A→B）∧A?B （5）附加规则：A?（A∨B） （6）化简规则：A∧B?A （7）拒取式规则：（A→B）∧┐B?┐A （8）假言三段论规则：（A→B）∧（B→C）?（A→C） （9）析取三段论规则：（A∨B）∧┐B?A （10）构造性二难推理规则 （11）破坏性二难推理规则 （12）合取引入规则利用构造证明来证明形式结构为（A1∧A2∧…∧Ak）→B的推理时首先写出：前提：A1，A2，…，Ak结论：B证明：例在自然推理系统P中构造下面推理的证明：（1）前提：p∨q，q→r，p→s，┐s结论：r∧（p∨q）证明：①p→s前提引入②┐s前提引入③┐p①②拒取式（A→B）∧┐B?┐A④p∨q前提引入⑤q③④析取三段论（A∨B）∧┐B?A⑥q→r前提引入⑦r⑤⑥假言推理（A→B）∧A?B⑧r∧（p∨q）⑦④合取引入（2）前提：┐p∨q，r∨┐q，r→s

结论：p→s证明：①┐p∨q前提引入②p→q①置换③r∨┐q前提引入④q→r③置换⑤p→r②④假言三段论⑥r→s前提引入⑦p→s⑤⑥假言三段论规则例在自然推理系统P中构造下面的推理的证明：

若数a是实数，则它不是无理数就是有理数。若a不能表示成分数，则它不是有理数。a是实数且它不能表示成分数。所以a是无理数。前提：p→（q∨r），┐s→┐q，p∧┐s结论：r证明：①p∧┐s前提引入②p①化简（A∧B）?A③┐s