蘊涵維基百科,自由的 encyclopedia 蘊涵(英語:Entailment)在命題邏輯和謂詞邏輯中用來描述在兩個句子或句子的集合之間的聯繫,一般使用⇒符號表示。 此條目需要擴充。 (2013年2月14日)