凡有逻辑性的必然性推理，其前提反蕴涵结论，即当其前提真则结论真假不定。