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