蘊涵- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
蘊含（implication或entailment）在命題邏輯和謂詞邏輯中用來描述在兩個句子或句子的集合之間的聯繫。
A
⊨
B
{\displaystyle A\models B}
陳述句子集合A語義上蘊涵句子集合B。
形式定義：集合A蘊涵集合B，若且唯若在其中A中所有句子都為真的所有模型中，在B中的所有句子也是真的。
在圖表形式中，它看起來像：
我們需要蘊涵的定義要求A的所有的模型
