第奧多魯蘊涵

第奧多魯蘊涵是古希臘第奧多魯關於條件命題邏輯值的定義。意為：條件命題是真的，若且唯若在任何時刻都沒有出現前件真而後件假的情況。與費羅蘊涵不同的是，第奧多魯引入了一個時間變項，並且把前件與後件作為命題函項看待。

如對“如果是白天，那么我交際”，費羅判定為真，而第奧多魯判定為假，因為有可能“當白天時，我不交際”。只有在白天的任何時刻都不出現“我不交際”的情況時，該命題才真。這大體相當於現代邏輯的形式蘊涵。