離散數學-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的推理正確當

>>阅读原文<<