命題連接詞

複合命題的真假值由構成它的支命題的真假值確定。最常用的命題連接詞有否定詞、合取詞、析取詞、蘊涵詞、等值詞等。

命題連接詞（propositional connectives）,也稱作語句連接詞（sentential connectives）,又稱命題運算元或語句運算元（propositional/sentential operators）。直觀地說，它們是帶空格（序列）的表達式，使得以陳述句填入這些空格的結果總是陳述句。通常，我們將命題連接詞簡稱為連接詞。

例1：下面的表達式都是連接詞

1.……，並且……。

2.（雖然）……，但是……。

3.（或者）……，或者……。

4.並非……。

5.如果……，那麼……。

6.只要……，（就）……。

7.……，除非……。

8.既然……，（就）……。

9.因為……，所以……。

10.之所以……，是因為……。

11.可以想象……。

12.張三相信……。

13.李四認為……。

14.王五知道……。

15.政客們喜歡說……。

16.從平民的角度看，……。

對每個自然數 n>0 ，如果一個連接詞有n個空格，我們通常就說它是n元連接詞。習慣上，當說到連接詞時，人們更喜歡只提連接詞表達式中的文字（或符號）而省略那些空格。比如，人們會說“並且”是連接詞，意思是說“……並且……”是連接詞；人們會說“如果-那麼”是連接詞，意思是說“如果……，那麼……”是連接詞。

其實我們討論的連接詞不過是陳述句集合上的某種函數（運算）；對每個這樣的n元連接詞，一旦給定有序的n個陳述句作為其自變數的取值，該函數的值是個唯一的句子，亦即由給定陳述句依次填入連接詞空格中所得的句子。