邏輯大全 · 31. 論條件命題

下面我們要專門考察這些命題。然而，既然一個條件命題等價於一個推論——這樣，當前提推出結論而不是結論推出前提的時候，一個條件命題就是真的——那麼就等到論述推論時再進行這樣的討論。 然而應該注意，如果一個假言命題是由「如果，那麼」這個連接詞或某個與此等價的詞聯結兩個直言命題構成的，這個假言命題就叫做條件的。因此應該說，「蘇格拉底不教書，除非他是一個老師」是一個條件命題。因為它等價於「如果蘇格拉底不是一個老師，那麼蘇格拉底不教書」。而且，每當兩個命題由某個聯結詞聯結起來，而整個命題等價於一個條件命題時，這個命題總是被稱為假言的和條件的。 還應該注意，一個條件命題的真既不要求前件是真的，也不要求後件是真的。實際上，有時候，即使一個條件命題的各部分是不可能的，這個條件命題也是必然的，例如，「如果蘇格拉底是一頭驢，那麼蘇格拉底能夠發出驢叫聲。」