主要内容推理的形式结构l 推理的正确与错误l 推理的形式结构l 判断推理正确的方法l 推理定律自然推理系统Pl 形式系统的定义与分类l 自然推理系统Pl 在P中构造证明:直接证明法、附加前提证明法、归谬法第三章 命题逻辑的推理理论13.1 推理的形式结构定义3.1 设A1, A2, , Ak, B为命题公式. 若对于每组赋值，A1A2 Ak 为假，或当A1A2Ak为真时，B也为真，则称由前提A1, A2, , Ak推出结论B的推理是有效的或正确的, 并称B是有效结论.定理3.1 由命题公式A1, A2, , Ak 推B的推理正确当且仅当A1A2AkB为重言式注意: 推理正确不能保证结论一定正确2推理的形式结构2. A1A2AkB 若推理正确, 记为A1 A2 Ak B3. 前提： A1, A2, , Ak 结论： B判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法推理的形式结构1. A1, A2, , Ak B 若推理正确, 记为A1,A2,An B3推理实例例1 判断下面推理是否正确(1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是
