离散数学屈婉玲_耿素云_张立昂第3章_高教探究.ppt

* * * * * * * * * * * * * * * * * * * * 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统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为重言式 注意： 只要不出现第3中情况，推理就是正确的。 通常情况：正确前提，正确结论才是正确的推理； 而在此处，前不正确，无论结果正确与否，都说推理正确。 因此: 推理正确不能保证结论一定正确。 A B A?B (1) 0 0 1 (2) 0 1 1 (3) 1 0 0 (4) 1 1 1 * 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是