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