假言命题指形式为“如果A则B”的
复合命题。又称条件命题。表示条件的
支命题叫做前件，表示结果的支命题叫做
后件。假言命题陈述一种事物的情况是另一种事物情况的条件。
在
形式逻辑中，命题联结词“如果，则”被理解为“前件真而后件假”是假的，即“若A则B”假，
当且仅当A真而B假；而当A假时，整个复合命题总是真的。在
现代逻辑中，命题之间的这样的真假关系叫做实质蕴涵。在
日常语言中，关于“如果，则”还有其他含义，如
因果联系、推论关系等等。
1．如果有事物情况A，则必然有事物情况B；如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称
充分条件。
2．如果没有事物情况A，则必然没有事物情况B；如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称
必要条件。
3．如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的
充分必要条件。例如：
与此相应，假言命题也有三种，即：
充分条件假言命题、必要条件假言命题和
充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的
假言推理。
充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题。“如果，那么”是充分条件假言命题的联结词；“如果”后面的支命题称为前件；“那么”后面的支命题称为后件。用p表示前件，用q表示后件，充分条件假言命题的的命题形式可表示为：
充分条件假言命题与其支命题（前件、后件）之间的真假关系是：如果前件真而后件假，则该充分条件假言命题才是假的；如果不是“前件真而后件假”，则该充分条件假言命题是真的。这种真假关系可用下面的真值表来表示：
必要条件假言命题是陈述某一事物情况是另一件事物情况的
必要条件的假言命题。“只有，才”是必要条件假言命题的联结词；“只有”后面的支命题是前件，用p表示，“才”后面的支命题是后件，用q表示，必要条件假言命题的的
命题形式可表示为：
必要条件假言命题与其支命题（前件、后件）之间的真假关系是：如果前件假而后件真，则该必要条件假言命题才是假的；如果不是“前件假而后件真”，则该必要条件假言命题是真的。这种真假关系可用
真值表表示如下：