复合命题的真假值由构成它的支命题的真假值确定。最常用的命题连接词有
否定词、
合取词、
析取词、
蕴涵词、
等值词等。
命题连接词(propositional connectives),也称作语句连接词(sentential connectives),又称命题算子或语句算子(propositional/sentential operators)。直观地说,它们是带空格(序列)的表达式,使得以陈述句填入这些空格的结果总是陈述句。通常,我们将命题连接词简称为连接词。
对每个自然数 n>0 ,如果一个连接词有n个空格,我们通常就说它是n元连接词。习惯上,当说到连接词时,人们更喜欢只提连接词表达式中的文字(或符号)而省略那些空格。比如,人们会说“并且”是连接词,意思是说“……并且……”是连接词;人们会说“如果-那么”是连接词,意思是说“如果……,那么……”是连接词。
其实我们讨论的连接词不过是陈述句集合上的某种函数(运算);对每个这样的n元连接词,一旦给定有序的n个陈述句作为其自变量的取值,该函数的值是个唯一的句子,亦即由给定陈述句依次填入连接词空格中所得的句子。