邏輯後承

如果一個推理的前提是真的，它的結論就不可能假，它的前提和結論之間具有必然邏輯聯繫的推理，因此它是一個演繹有效的推理。演繹有效推理所以具有必然性，是因為它的前提蘊含著結論，或者說結論是包含在前提中的。因此，我們把有效推理的結論稱作前提的“邏輯後承”。