如果一个推理的前提是真的,它的结论就不可能假,它的前提和结论之间具有必然逻辑联系的推理,因此它是一个演绎有效的推理。演绎有效推理所以具有必然性,是因为它的前提蕴含着结论,或者说结论是包含在前提中的。因此,我们把有效推理的结论称作前提的“逻辑后承”。