數理邏輯是研究推理的數學學科，它首先完成是對現象的一種符號化處理，基於符號化處理，它在將着重於推理過程以及推理的結果。
命題：
稱所表達的判斷式真或假但不能可真可假的陳述句為命題。
命題的符號化：
一般使用小寫字母p、q、r、s來表示簡單的陳述句命題。在這些陳述句中均無連接詞出現，稱它們為簡單命題或原子命題。從自然語法的角度來講，原子命題就是一些單句，沒有“如果…那么…”這種關聯詞的，那么相對的，有了這種“聯接詞”，就稱為符合命題。
下面介紹很常見的幾種聯結詞。
命題邏輯的等值運算：
其實給出聯結詞的時候，可能你就已經發現，它們的概念其實和集合論中我們所說的交、並、補的概念很類似，下面給出的等值運算律，其實與集合運算律也質同的。
