實質條件

在命題演算 ， 或在數學的邏輯演算中 ， 實質條件 、 實質蘊涵或蘊涵算子是一種二元的真值泛函的邏輯運算符 ， 它有着如下形式 ： 若A ， 則B 。 這裏的A和B是陳述變量 （ 可以被語言中任何有意義的可表示的句子所替代 ） 。 在這種形式的陳述中 ， 第一項這裏的A ， 叫做前件 ； 第二項這裏的B ， 叫做後件 。 這個算子使用右箭頭 “ → ” （ 有時用符號 “ ⇒ ” 或 “ ⊃ ” ） 來符號化 ， 其語義僅爲 “ 如果A爲真 ， 那麼B亦爲真 ” 。 它的常見寫法見下 ： 須注意的是 ， 更常用於語意蘊含 （ 等同符號 ） 。 這也是大多數初學者易搞混的點 。