实质条件 在命题演算或在数学的逻辑演算中实质条件實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符它有着如下形式 若A則B 这裡的A和B是陈述变量可以被语言中任何有意义的可表示的句子所替代在这种形式的陈述中第一项这裡的A叫做前件第二项这裡的B叫做后件 这个算子使用右箭头有时用符号或来符号化其語義僅爲如果A為真那么B亦為真它的常見寫法見下 A  B displaystyle Ato B A  B displaystyle Asupset B A  B displaystyle ARightarrow B 須注意的是  displaystyle Rightarrow  更常用於語意蘊含等同符號  displaystyle vDash  這也是大多數初學者易搞混的點