2.7 命题逻辑的推理理论一、推理（其中：前提是事先给定的（或假定的）条件， 推理是指从前提推出结论的思维过程。二、命题逻辑中的推理 命题逻辑中的推理是指在命题逻辑系统中从前提推出结论和 都是命题公式。三、命题逻辑中推理的形式结构（即：符号化）“由前提 推结论 的推理”的形式结构为：或：或：前提：结论：其中：结论是一个断言，是推理的目标。）的过程。 前提是给定的若干个命题公式；结论是一个命题公式。也称 可由“ 由前提 推结论 的推理 ” 是有效推理如果 是重言式，四、有效推理（或正确推理）或正确推理。则称 的逻辑结论（或有效结论）。定义2.22 若公式 为重言式，或： 五、逻辑结论 逻辑推出。记作： 则称 是或： 记作： 为 1 ，如果 是重言式，该公式的任意一组赋值，有且只有以下三种情形：(1)(2)(3)注：1. 为 0 ，为 0 ；为 0 ，为 1 ；为 1 。则对于所以，正确推理不一定推出正确结论，只是（逻辑）有效结论。因为前提不一定正确。如果前提正确，那么正确推理一定推出正确结论。2. 要证明“由前提 推结论 的推理”是否有效，只要证明 是否为重言式即可。（2）“由前提 推结
