子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像：我们需要蕴涵的定义要求A的所有的模型也是B的模型，因为像知识库这样的形式系统在被问到事实的集合（A）是否蕴涵命题（B）的时候，不可能知道在用户头脑中对此的解释。在语用学（语言学）中，蕴涵有不同的但密切相关的意思。如果对于公式X有formula_2则X被称为"有效的"或是"重言式"。
逻辑蕴涵.formula_3陈述句子集合A逻辑蕴涵句子集合B。它可以读作"B可以证明自A"。定义：A逻辑蕴涵