簡易邏輯概念

 

一般而言,一個命題有前題和結論兩部分；通常以若（前題）則（結論）的形式來呈現﹒

當命題「若p則q」是正確時, p稱為q的「充分條件」, q稱為 p的「必要條件」, 「若p則q」可簡寫成「」.

「若p則q」「若q則p」都是正確的,則稱p是q的充要條件,可簡寫成「」,唸「若且唯若p則q」.

「若p則q」是正確時,也可將其寫成其同義命題,「若非q則非p」, 即若p 成立可推得q為正確,也可說是若q不成立可推得p亦不成立, 例如「若天下雨則地溼」其同義命題為「地不溼則天沒下雨」.

另外,在敘述數學定義及定理時也常用到下列數學符號,說明如下：

表「對每一個」, 「對任意給定的」﹒

表「存在有一個」, 「可找到一個」﹒

表「因為」.

表「所以」.

表「使得」.