离散数学-3 命题逻辑的推理理论

        定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1A2…Ak 为假，或当A1A2…Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 推理正确并不能保证结论一定成立；前提不正确，不论结论是否成立，都说推理正确。 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当

>>阅读原文<<