費羅蘊涵

費羅蘊涵是古希臘費羅關於條件命題邏輯值的定義。意為：一個條件命題是真的，只要不是前件真、後件假；亦即“如果p那么q”真，若且唯若不是p真q假。

費羅詳細分析如下：一個條件句，起始（前件）真，結尾（後件）真（例：如果是白天，那么是亮的），為真；起始假，結尾假（例：如果地球飛行，那么地球有翅），為真；起始假，結尾真（例：如果地球飛行，那么地球存在），也為真；若且唯若，起始真，結尾假（例：如果是白天，那么是黑夜），才假。