五种逻辑联结词及性质（五种联结词）

命题逻辑中，为了符号化复合命题，定义了五个表示联结词的符号，称为逻辑联结词。数理逻辑的研究方法的主要特征即：构造各种符号语言来代替自然语言，我们称完全由符号所构成的语言为形式语言。

为了达到这个目的，就要求进一步抽象化，即将联结词也符号化。

自然语言“非”、“并且”、“或”、“如果……，则……”、“当且仅当”这些联结词有的具有二义性，因而在数理逻辑中必须给出联结词的严格定义，并且将他们符号化。