條件句（conditional statement）

我們所遵循的規則幾乎都有「若……則……」的形狀：若下雨，則比賽取消；若你未滿十八歲，則你不能投票。數學也以同樣的形狀運轉，而精確地替它命名，是謹慎推理的第一步。

條件句的形式為「若 p，則 q」，其中 p 是前提（條件），q 是結論（隨之而來者）。以符號記，p 蘊涵 q。關於條件句最重要的一件事，是它何時算為真：「若 p 則 q」只有在一種情形下為假——當 p 真而 q 假時。在其他所有情形下它都算真，包括也許出人意料的情形：當 p 為假時（此時該句空虛地為真，因為除非 p 發生，否則它沒有作出任何承諾）。所以「若一圖形是正方形，則它有四條邊」為真，而「若 2 + 2 = 5，則我是國王」也為真，因為它的前提從不成立。

條件句是數學主張的基本單位：幾乎每個定理都是條件句，前提列出你可以假設的東西，結論陳述你必須證明的東西。要說明一個條件句為假，你只需一個反例——一個前提成立而結論不成立的單一情形。由一個條件句可形成三個近親——逆命題、否命題與逆否命題——而一個其逆命題也為真的條件句，便成為雙條件句（biconditional），即「若且唯若」。