| 真值联结词 truth-value connective 表示复合命题与支命题之间的真假关系的联结词。在支命题之间除了真假关系以外，还有其他一些非逻辑方面的联系，如因果、次序以及意义方面的联系，所以一般在使用自然语言的情况下，支命题的真假不能完全决定复合命题的真假。由于数理逻辑只从真假关系方面来考察复合命题和支命题之间的关系，这样抽象处理的结果而获得的命题逻辑联结词即为真值联结词。数理逻辑中经常用到的五个基本的真值联结词是：蕴涵(如果…那么…)，合取(…并且…)，析取(…或…)，等值(…当且仅当…)和否定(并非…)。它们分别用“→”，“∧”，“∨”，“↔”，“”等符号表示。 |