命題連線詞

命題連線詞是由命題構成複合命題時所用的邏輯詞。

基本介紹

• 中文名：命題連線詞
• 外文名：Propositional connectives
• 類型：連線詞
• 分類：否定詞、合取詞、

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

命題連線詞（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個陳述句作為其自變數的取值，該函式的值是個唯一的句子，亦即由給定陳述句依次填入連線詞空格中所得的句子。