邏輯聯結詞

命題邏輯中，為了符號化複合命題，定義了五個表示聯結詞的符號，稱為邏輯聯結詞。

數理邏輯的研究方法的主要特徵即：構造各種符號語言來代替自然語言，我們稱完全由符號所構成的語言為形式語言。為了達到這個目的，就要求進一步抽象化，即將聯結詞也符號化。

自然語言“非”、“並且”、“或”、“如果……，則……”、“當且僅當”這些聯結詞有的具有二義性，因而在數理邏輯中必須給出聯結詞的嚴格定義，並且將他們符號化。