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