蘊涵

蘊涵 （ Entailment ） 在命題邏輯和謂詞邏輯中用來描述在兩個句子或句子的集合之間的聯繫 ， 一般使用 ⇒ 符號表示 。