一-3命题逻辑推理理论.ppt

第3章 命题逻辑的推理理论 本章说明 第一节 推理的形式结构 数理逻辑的主要任务：是用数学的方法来研究 推理问题。 推理：是指从前提出发推出结论的思维过程。 前提：是已知命题公式的集合。 结论：是从前提出发应用推理规则推出的命题公式。 要研究推理，首先应该明确什么样的 推理是有效的或正确的。 有效推理的定义 定义3.1： 设A1,A2,…,Ak和B都是命题公式，若对于 A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，（1）或者A1∧A2 ∧…∧Ak为假;（2）或者当A1∧A2 ∧…∧Ak为真时，B也为真;则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 关于有效推理的说明 2.?＝{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