出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
真值联结词
真值联结词 表示复合命题与肢命题之间的真假关系的联结词。在肢命题之间除了真假关系以外,还有其他一些非逻辑方面的联系,如因果、次序以及意义方面的联系。但数理逻辑只从真假关系方面来考察复合命题和肢命题之间的关系,这样抽象处理的结果而获得的命题逻辑联结词即为真值联结词。数理逻辑中经常用到的五个基本的真值联结词是:蕴涵(如果…那么…),合取(…并且…),析取(…或…),等值(…当且仅当…)和否定(并非…)。它们分别用“➝”“∧”“∨”“↔”“█”等符号表示。
真值联结词
经典逻辑中由真值表定义的命题联结词。常用的真值联结词有五个,它们是:否定词7(或
、—),合取词∧(或·、&),析取词∨,蕴涵词→(或⊃)和等值词↔(或≡)。其中否定词7是一元联结词,定义如下:
合取词∧、析取词∨、蕴涵词→和等值词↔是二元联结词,定义如下:
经典逻辑中由真值表定义的命题联结词。常用的真值联结词有五个,它们是:否定词7(或
、—),合取词∧(或·、&),析取词∨,蕴涵词→(或⊃)和等值词↔(或≡)。其中否定词7是一元联结词,定义如下:出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础