充分條件假言命題

充分條件假言命題是陳述某一事物情況是另一件事物情況的充分條件的假言命題，“如果，那麼”是充分條件假言命題的聯結詞，“如果”後面的支命題稱為前件，“那麼”後面的支命題稱為後件，用p表示前件，用q表示後件，充分條件假言命題的命題形式可表示為如果p，那麼q。

充分條件假言命題與其支命題之間的真假關係是：如果前件真而後件假，則該充分條件假言命題為假，如果不是前件真而後件假，則該充分條件假言命題是真的。