离散ch3学习课件.pptVIP

第三章 命题逻辑的推理理论 主要内容 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 形式系统的定义与分类 自然推理系统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 ? B3. 前提： A1, A2, … , Ak结论： B判断推理是否正确的方法:真值表法等值演算法主析取范式法 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 推理实例 (2) 推理的形式结构: 推理定律——重言蕴涵式 1. A ? (A?B)附加律 2. (A?B) ? A化简律 3. (A?B)?A ? B假言推理 4. (A?B)??B ? ?A拒取式5. (A?B)??B ? A析取三段论 6. (A?B)?(B?C) ? (A?C)假言三段论 7