蘊涵- 維基百科，自由的百科全書 - Wikipedia

蘊涵 維基百科，自由的百科全書 跳至導覽 跳至搜尋 此條目需要擴充。

(2013年2月14日)請協助改善這篇條目，更進一步的訊息可能會在討論頁或擴充請求中找到。

請在擴充條目後將此模板移除。

蘊含（implication或entailment）在命題邏輯和謂詞邏輯中用來描述在兩個句子或句子的集合之間的聯繫。

目錄 1語義蘊涵 2邏輯蘊涵 3在語義和邏輯蘊涵之間的聯繫 4與實質蘊涵的聯繫 5參見 語義蘊涵[編輯] A ⊨ B {