直陳條件

在實質條件和直陳條件之間的差別
實質條件不能總是按同日常的“如果-那么”推理一致的方式來運做。所以使用實質條件來表達“如果-那么”陳述是有缺陷的。
一個問題是實質條件允許蘊涵為真，即使是在前件和後件之間沒有邏輯聯繫的時候。例如，一邊是太陽是氣體構成的，另一邊是3是素數。蘊涵的標準定義允許我們得出結論：“因為太陽是由氣體構成的，所以3是素數”。它的同義語是：“太陽是由氣體構成的使得3是素數”。很多人在直覺上認為這是錯的，因為太陽和數字三簡單的沒有任何關係。邏輯學家已經通過開發可做作為替代的邏輯比如相干邏輯，來嘗試解決這個問題。
有一個有關的問題，參見空虛真理。
另一個問題是實質條件被不是意圖處理在“如果-那么”推理中常見的反事實和其他情況。這促使人們開發了模態邏輯。
進一步的問題是實質條件使得 P AND ¬P → Q，而不管Q意味著什麼。就是說，矛盾蘊涵了所有的事物都絕對是真的。關心這個問題的邏輯學家開發了次協調邏輯。