03命题逻辑推理理论.pptVIP

第3章 命题逻辑的推理理论 本章说明 3.1 推理的形式结构 3.2 自然推理系统P 本章小结 习题 作业 3.1 推理的形式结构 数理逻辑的主要任务是用数学的方法来研究数学中的推理。 推理是指从前提出发推出结论的思维过程。 前提是已知命题公式集合。 结论是从前提出发应用推理规则推出的命题公式。 证明是描述推理正确或错误的过程。 要研究推理，首先应该明确什么样的推理是有效的或正确的。 有效推理的定义 定义3.1 设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的推理记为? ┣B若推理是正确的，记为 ? ╞ B若推理是不正确的，记为 ? B 关于有效推理的说明 例题 ?(1) {p,p→q}├ q ?(2) {p,q→p}├ q 有效推理的等价定理 定理3.1 命题公式A1,A2,…,Ak推B的推理正确当且仅当 (A1∧A2∧…∧Ak )→B 为重言式。 定理3.1的证明 (1)证明必要性。若A1,A2,…,Ak推B的推理正确， 则对于A1,