蕴含（implication或entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。
语义蕴涵.formula_1陈述句子集合A语义上蕴涵句子集合B。形式定义：集合A蕴涵集合B，当且仅当在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像：我们需要蕴涵的定义要求A的所有的模型也是B的模型，因为像知识库这样的形式系统在被问到事实的集合（A）是否蕴涵命题（B）的时候，不可能知道在用户头脑中对此的解释。在