在命题演算,或在数学的逻辑演算中,实质条件、实质蕴涵或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式:
- 若A,则B。
此条目页的主题是逻辑运算符。关于逻辑门,请见“
蕴涵门”。
这里的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这里的A,叫做前件;第二项这里的B,叫做后件。
这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,其语义仅为“如果A为真,那么B亦为真”。它的常见写法见下:
须注意的是,更常用于语意蕴含(等同符号)。这也是大多数初学者易搞混的点。