命题逻辑的推理理论.ppt

自然推理系统P3.2自然推理系统PA1?…?Ak?B自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑推理规则推出结论的过程为什么要自然演绎(NaturalDeduction)？给出验证的推理过程需要引入证明的概念一个描述推理过程的命题公式序列，其中的每个公式或者是已知前提，或者是由前面的公式应用到推理规则得到的结论自然演绎模拟人类的推理3.2自然推理系统P定义3.2一个形式系统I由下面四个部分组成：(1)非空的字母表，记作A(I).(2)A(I)中符号构造的合式公式集，记作E(I).(3)E(I)中一些特殊的公式组成的公理集，记作AX(I).(4)推理规则集，记作R(I).记I=A(I),E(I),AX(I),R(I),其中A(I),E(I)是I的形式语言系统,AX(I),R(I)是I的形式演算系统.自然推理系统:无公理,即AX(I)=?公理推理系统推出的结论是系统中的重言式,称作定理自然推理系统P单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。定义3.3自然推理系统P定义如下:命题变项符号：p,q,r,…,pi,qi,ri,…联结词符号：?,?,?,?,?括号与逗号：(,),，字母表单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。合式公式（同定义1.6）前提引入规则结论引入规则置换规则推理规则3.2自然推理系统P(A?B)?A?BAllmenaremortalSocratesisamanThereforeSocratesismortal假言推理规则A?BA结论：B3.2自然推理系统P01附加规则A结论：A?B02A?(A?B)3.2自然推理系统P01A?B结论：A化简规则02AB结论：A?B(A?B)?A合取引入规则3.2自然推理系统P证明:p,q,p?q?r?r3.2自然推理系统P证明:p,q,p?q?r?rpqp?qp?q?rr推理过程可以写成证明树3.2自然推理系统P拒取式规则A?B?B结论：?A假言三段式规则A?BB?C结论：A?C(A?B)??B??A(A?B)?(B?C)?(A?C)3.2自然推理系统P析取三段式规则