离散数学教学课件（长安大学）getresource-3.pptVIP

第三章 命题逻辑的推理理论 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于任一组赋值， 或者A1?A2?…? Ak为假，或者当A1?A2?…?Ak为真时，B也 为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的 或正确的, 并称B是有效结论. 注意： 推理正确与否与前提的排列次序无关。前提A1, A2, …, Ak只是一个公式的集合。 对于所有的赋值，前提和结论的取值有4种情况（前提条件之间是合取关系 ）。只要不出现情况(3)，推理就是正确的。 推理正确不是说结论B就一定为真，因为前提可能为假。这与通常对推理的理解是不同的。 推理的形式结构 推理正确相当于A1?A2?…?Ak?B永真。 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1?A2?…?Ak?B为重言式。（不是重言，则推理不正确） 证明： 必要性：若A1, A2, …, Ak 推B的推理正确，则对于所有的赋值，不会出现A1?A2?…?Ak为真，B为假的情况，所以在所有赋值下A1?A2?…?Ak?B均为真，重言式。 充分性：若A