蕴含规则是数学中描述命题逻辑与谓词逻辑中句子或句子集合间逻辑关系的术语。其核心形式定义为：集合A蕴含集合B，当且仅当在A中所有句子都为真的所有模型中，B中的句子也必定为真 。
语义蕴涵强调模型层面的一致性，即当A的所有模型均满足时，B必然被满足 。逻辑蕴涵则通过形式系统实现，如采用蕴含的真值表或改进的序贯演算系统，通过假定A的句子并应用推理规则推导出B的句子 。在自然语言层面，带条件句前缀的陈述可被解释为语义蕴涵关系的表达 。
不同逻辑系统对蕴含规则的处理存在差异，例如限定仅使用蕴含联结词、调整公理或消除结构规则的演算系统。语义与逻辑蕴涵的等价性受形式系统特性的约束 。
想要了解更多“蕴含规则”的信息，请点击：蕴含规则百科
