假言命题指形式为"如果A则B"的复合命题。又称条件命题来自。其表示条件的支命题叫做前件,表示结果的支命题叫做后件。假言命题陈述一种事物的情况是另一种事物情况的条件。
在形式逻辑中,命题联结词"如果,则"被理解为"前件真而后件假"是假的,即"若A则B"假,当且仅当A真而B假;而当A假时,整个复合命题总是真的。
在现代逻辑中,命题之间的这种真假关系叫做实质蕴涵。在日常语言中,关于"若,则"还有其他含义,如因果联系、推论关系等等密创待因住屋依液。