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