屈婉玲离散数学第三章.pptVIP

* * * * * * * * * * * * * * * * * * * * 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 * 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值， A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真， 则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1?A2?…?Ak?B为重言式 注意: 推理正确不能保证结论一定正确 所谓推理是指从前提出发推出结论的思维过程。 * 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是否正确的方法: 真值表法（见例子3.1） 等值演算法（见例子3.2） 主析取范式法（见例子3.2） 由{A1, A2, …, Ak}推B的推理有以下的形式结构： 1. {A1, A2, …, Ak}