在命题演算，或在数学的逻辑演算中，实质条件、实质蕴涵(容易和语意蕴涵formula_1搞混，建议不要用蕴涵这两字)或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式这里的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这里的A，叫做前件；第二项这里的B，叫做后件。这个算子使用右箭头“→”（有时用符号“⇒”或“⊃”）来符号化，其语义仅爲“如果A为真，那么B亦为真”。它的常见写法见下：须注意的是，formula_5更常用于语意蕴含（等同符号formul