东南大学离散数学课件第三章推理.pdfVIP

第三章3.1 推理的形式结构 q按公认的推理规则，从前提集合中推导出一个 结论来，这样的推导过程称为演绎，或者叫形 式证明。 q推理规则指确定论证有效性的判据，常用命题 形式表示这些规则，而不涉及实际命题和它的 真值。 1 3.1 推理的形式结构 q定义:设H ，H …，H ，C都是命题公式，若 1 2 n 对于H ，H …，H ，C 中出现的命题变元的 1 2 n 任意一组赋值，或者H ∧ H …∧ H 为假，或 1 2 n 者当H ∧ H …∧ H 为真时，C也为真，则称 1 2 n 由前提H ，H …，H 推出C的推理是有效的或 1 2 n 正确的，并称C是有效结论。 q说明： v若H1 ∧ H2 …∧ Hn → C为永真式，则称C是 H ， H ， … ，H 的有效结论。 1 2 n 2 3.1 推理的形式结构 v设H ，H …，H ，C 中出现的命题变元有m 1 2 n 个，对于任意一组赋值，前提和结论的真值情 况有四种 • H ∧ H …∧ H 为0，C为0； 1 2 n • H ∧ H …∧ H 为0，C为1； 1 2 n • H ∧ H …∧ H 为1，C为0； 1 2 n • H ∧ H …∧ H 为1，C为1； 1 2 n 推理正确不能保证结论一定为真。 v由前提H ，H …，H 推出结论C 的推理是否 1 2 n 正确和前提的排列顺序无关。 3 3.1 推理的形式结构 q前提中的公式是一个有限公式集合，若将该集合 记为，可将由推C的推理记为 ├C 。若推理是 正确的，则记为| C 。这里称 ├C和{H ，H … 1 2 ，H } ├C为推理的形式结构。 n q定理：命题公式H ，H …，H 推C的推理正确当 1 2 n 且仅当H ∧ H …∧