命题逻辑的推理证明说课.ppt

第三章 命题逻辑的推理理论 主要内容 第一节 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 第二节 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值， A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真， 则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 推理实例 (2) 推理的形式结构: 推理定律——重言蕴涵式 一些重要的重言蕴含式，称为推理定律。 1. A ? (A?B) 附加律 2. (A?B) ? A 化