充分条件假言命题

充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题，“如果，那么”是充分条件假言命题的联结词，“如果”后面的支命题称为前件，“那么”后面的支命题称为后件，用p表示前件，用q表示后件，充分条件假言命题的命题形式可表示为如果p，那么q。

充分条件假言命题与其支命题之间的真假关系是：如果前件真而后件假，则该充分条件假言命题为假，如果不是前件真而后件假，则该充分条件假言命题是真的。