實質條件- MBA智库百科

　　在命題演算，或在數學的邏輯演算中，實質條件、實質蘊涵或蘊涵運算元是一種二元的真值泛函的邏輯運算符，它有著如下形式： 　　如果A那麼B， 　　這裡的A和B是陳述變數（可以被語言中任何有意義的可表示的句子所替代）。

在這種形式的陳述中，第一項這裡的A，叫做前件；第二項這裡的B，叫做後件。

前件的真實是後件的真實的充分條件，而後件的真實是前件的真實的必要條件。

　　在介紹邏輯的課本中經常包括的常見的練習是符號表示。

這些練習給學生自然語言的一個句子或一段文本，學生必須把它們轉換成符號語言。