實質條件- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
在命題演算，或在數學的邏輯演算中，實質條件、實質蘊涵(容易和語意蘊涵
⊨
{\displaystyle \vDash }
搞混，建議不要用蘊涵這兩字)或蘊涵算子是一種二元的真值泛函的邏輯運算符，它有著如下形式
這裡的A和B是陳述變量（可以被語言中任何有意義的可表示的句子所替代）。
在這種形式的陳述中，第一項這裡的A，叫做前件；第二項這裡的B，叫做後件。
這個算子使用右箭頭「→」（有時用符號「⇒」或「⊃」）來符號化，其語義僅爲「如果A為真，
