邏輯中的蘊涵
在邏輯中，蘊涵(imply)是用在更弱的定義下。說複合命題 A=>B 為真可簡單地斷言：若A為真，那么B也為真。換句話說，A→B 只是說不會同時有A真與B假，而不是說在通常意義下的A“引起”B。特別的，若A為假，那么對任何B,A→B 均為真。該命題容易使人誤解，因為不存在任何途徑使得命題A可能對命題B產生任何結果。
蘊涵的真值表
| A | B | A→B |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
語義關係中的蘊含 (entailment)（語言學）
X 蘊含 Y （Y 是 X 的一個含義）[ X entails Y （Y is an entailment of X) ]
例如：
1. X: John married a blond heiress. (約翰娶了一位金髮美女繼承人。）
Y: John married a blond. （約翰娶了一位金髮美女。）
2. X: He has been to France. （他去過法國。）
Y: He had been to Europe. （他去過歐洲。）
蘊含是一種包含關係。如果X蘊含Y，那么Y的意義就包含於X中。
從真值條件的角度來分析蘊含關係，我們可以得出以下結論：
如果X為真，Y一定為真。例如，如果他去過法國，他就一定去過歐洲。
如果X為假，Y有可能為假，有可能為真。例如，如果他沒去過法國，他有可能去過歐洲，也有可能沒去過。
如果Y為真，X有可能為真，也有可能為假。
如果Y為假，X一定為假。
