在有效的演繹論證中，從前提（或前提集）A可以必然地推出結論B。在這種情況下，我們可以說前提A蘊涵結論B。這種蘊涵稱為邏輯蘊涵(Logical Implication)。
條件句“如果A，則B”稱為實質蘊涵(Material Implication)。在實質蘊涵中，條件句“如果A，則B”的真值取決於其分句A、B的真值：當前件A真而後件B假時，這個條件句就是假的；並且也只有在這種情況下這個條件句才是假的。
初學者容易混淆邏輯蘊涵與實質蘊涵。尤其是容易將實質蘊涵誤為邏輯蘊涵，以爲“如果A，則B”是從A推出B。二者的區別如下：
