是有效的，当且仅当命题形式

《逻辑哲学研究》是有效的，当且仅当命题形式,页面无弹窗的全文阅读!

是一重言式。(5)

甚至古希腊斯多亚学派也早已认识到这一点。他们对条件命题持有实质蕴涵观点，并认为“一个推论是有效的，只要其结论是从其前提的合取逻辑地推出的”。更具体地说，就是“当我们把前提合取起来，构成了以前提的合取为前件、以结论为后件的条件命题之后，发现这个条件命题是真的，那么这个推论就是真正有效的”(6)。

但是，对蕴涵持其他看法的逻辑学家并不这样认为，他们不承认这些逻辑学家认为有效的许多推理的有效性，例如，持严格蕴涵、相干蕴涵、衍推观点的逻辑学家就不承认下述推理的有效性：

A，所以，如果B则A；

﹁A，所以，如果A则B；

A并且﹁A，所以，B。

而按实质蕴涵，它们却是有效的。持直觉主义立场的逻辑学家甚至不承认排中律的有效性。这些差别的造成，明显地是渊源于对条件命题前后件关系（蕴涵）的不同理解。

综上所述，由于任一推理都可以表示为一个条件命题（蕴涵式），因此，直接刻画条件命题的蕴涵实际上也是刻画推理的，它既是判别条件命题正确、真实与否的标准，同时也是判别推理有效与否的标准。而逻辑的中心任务就是区别有效的推理和非有效的推理，蕴涵理所当然地就成为逻辑学的一个关键性概念。