敘述

一個可以判斷「真(對)」、「偽(錯)」的句子，稱為敘述。例如：「$2>1$」是對的敘述、「$4=5$」是錯的敘述。

否定敘述

和一個敘述相反的敘述為其否定敘述。例如：「$3$是質數」的否定敘述為「$3$不是質數」；「$x>5$」的否定敘述為「$x\leq5$」。

充分條件與必要條件

若敘述$P$可以推導到敘述$Q$，數學上會說「若$P$則$Q$」，記為$P\Rightarrow Q$。這時候我們說$P$是$Q$的「充分條件」，$Q$是$P$的「必要條件」。

充要條件

若敘述$P$可以推導到敘述$Q$，敘述$Q$也可以推導到敘述$P$，則P與Q互為「充要條件」，記為$P\Leftrightarrow Q$。