4命题演算推理理论.pptVIP

* * * * * * 第四讲 命题逻辑的推理理论 命题逻辑的推理理论也称为命题演算 主要内容 一、推理的形式结构 二、推理定律和推理规则 三、逻辑证明方法 * 数理逻辑的推理理论主要研究推理的“思维过程”，为推理提供一定的推理规则。它只关心从前提得到结论这种推理的正确有效性。无论前提是否真得正确，它总是假设其是成立的。所以推理的正确性和结论的正确性可能是不一致的。推理理论在应用上常常是将一些定理，定律，公理和条件作为前提，通过推理得到新的定理。 引言 * 一、推理的形式结构 定义1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论或称B可由A1, A2, …, Ak逻辑推出. 定理1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当A1?A2?…?Ak?B为重言式 * 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 推理的形式结构 1. {A1, A2, …, Ak} B 若推理正确, 记为{A1,A2,?,An} B * 二、推