充分條件假言命題

充分條件假言命題(hypothetical under suffi-dent conditions)亦稱充分條件假言判斷一種特殊的假言命題，指斷定一命題是另一命題的充分條件的假言命題。

定義

充分條件假言命題是斷定事物情況之間充分條件關係的假言命題。

舉例

如果把理論當做教條，那么只能束縛思想。

分析

它斷定“把理論當作教條”是“束縛思想”的充分條件，故該命題是充分條件假言命題。

一般形式

如果p，那么q，其中“如果......那么......”為聯結詞，p稱為前件，q稱為後件。（充分條件假言命題斷定前件是後件的充分條件）

符號形式

p→q，“→”讀作“蘊涵”，是對“如果......那么......”的一種抽象。

日常表達形式

“如果p，那么q”，“一旦p，就q”，“若p，則q”，等等。

真值判斷

一個充分條件假言命題只有在前件真後件假的情況下才是假，其餘情況都是真。

真值表

p	q	p→q
真	真	真
真	假	假
假	真	真
假	假	真

注意

符號形式與“如果p，那么q”的區別

“p→q”是對“如果p，那么q”的一種抽象，二者的涵義不完全相同。“p→q”只表示前後件之間的真假關係；

“如果p，那么q”除了表示前後件之間的真假關係，還往往表示某種事實上的聯繫。

注

命題邏輯只從真值關係角度研究命題及其關係，因此，用“p→q”來刻畫“如果p，那么q”是自然的。