定言命題

其在前的支命題叫做前件，在後的支命題叫做後件。假言命題陳述一種事物情況是另一種事物情況的條件。在形式邏輯中，命題聯結詞"如果，則"被理解為"前件真而後件假"是假的，即"如果 A則B"假，當且僅當A 真而B假；而當A假時，整個複合命題總是真的。在現代邏輯中，命題之間的這樣的真假關係叫做實質藴涵。在日常語言中，關於"如果，則"可能還有其他含義，如因果聯繫、推論關係等等。 ^[1]