逻辑联结词

在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是：负判断中的“并非”，联言判断中的“并且”，假言判断中的“如果……那么……”，选言判断中的“或者……或者……”。

命题逻辑中，为了符号化复合命题，定义了五个表示联结词的符号，称为逻辑联结词。数理逻辑的研究方法的主要特征即：构造各种符号语言来代替自然语言，我们称完全由符号所构成的语言为形式语言。为了达到这个目的，就要求进一步抽象化，即将联结词也符号化。自然语言“非”、“并且”、“或”、“如果……，则……”、“当且仅当”这些联结词有的具有二义性，因而在数理逻辑中必须给出联结词的严格定义，并且将他们符号化。