-
聯結詞
鎖定
- 中文名
- 聯結詞
- 外文名
- connective
- 所屬學科
- 數理科學
- 別 名
-
邏輯聯結詞
命題聯結詞等 - 屬 性
- 命題邏輯的基本概念之一
- 釋 義
- 由已有的命題構造出新命題所用的詞語
聯結詞簡介
一個複合命題,不論其構成多麼複雜,一般都可以分析出構成該命題的原子命題。下面介紹幾種常用的邏輯聯結詞(Logical Connectives),分別是“非”(否定聯結詞)、“與”(合取聯結詞)、“或”(析取聯結詞)、“若…則…”(條件聯結詞)、“…當且僅當…”(雙條件聯結詞),通過這些聯結詞可以把多個原子命題複合成一個複合命題。此外,還介紹了三種,分別是異或聯結詞、與非式、或非式。
[2]
聯結詞否定聯結詞
P | 非P |
F | T |
T | F |
在自然語言中,常用“非”、“不”、“沒有”、“無”、“並非”等來表示否定。
例1 P:北京是中國的首都。
:北京不是中國的首都。
P是真命題,
是假命題。
Q:所有的海洋動物都是哺乳動物。
:不是所有的海洋動物都是哺乳動物。
Q為假命題,
為真命題。
聯結詞合取聯結詞
聯結詞“
”的真值表如表2所示。
P | Q | P與Q |
F | F | F |
F | T | F |
T | F | F |
T | T | T |
顯然
的真值永遠是假,稱為矛盾式。在自然語言中,常用“既…又…”、“不但…而且…”、“雖然…但是…”、“一邊…一邊…”等表示合取。
例2 (1)今天颳風又下雨。
設P:今天颳風。Q:今天下雨。則(1)可表示為
。
(2)1+1=2且太陽從西方升起。
設P:1+I=2。Q:太陽從西方升起。則(2)可表示為
。
(3)張三雖然聰明但不用功。
P:張三聰明。Q:張三用功。則(3)可表示為
。
需要注意的是,在自然語言中,命題(2)是沒有實際意義的,因為P與Q兩個命題是互不相干的,但在數理邏輯中是允許的,數理邏輯中只關注複合命題的真值情況,並不關心原子命題之間是否存在着內在聯繫。
聯結詞析取聯結詞
析取聯結詞“
”的真值表如表3所示。
P | Q | P或Q |
F | F | F |
F | T | T |
T | F | T |
T | T | T |
顯然
的真值永遠為真,稱為永真式。
析取聯結詞“
”與漢語中的“或”二者表達的意義不完全相同,漢語中的“或”可以表達“排斥或”,也可以表達“可兼或”,而從析取聯結詞的定義可以看出,“
”允許P、Q同時為真,因而析取聯結詞“
”是可兼或。
例3 (1)小王愛打球或跑步。
(2)他身高1.8m或1.85m。
(1)為可兼或,(2)為排斥或。
設P:小王愛打球。Q:小王愛跑步。則(1)可表示為
。
設P:他身高1.8m。Q:他身高1.85m。則(2)可表示為
。
聯結詞條件聯結詞
定義4 設P、Q為兩個命題,P和Q的條件(Conditional)命題是一個複合命題,記為
(讀作若P則Q)。其中P稱為條件的前件,Q稱為條件的後件。規定當且僅當前件P為T,後件Q為F時,
為F,否則
均為T。
[2]
條件聯結詞“
”的真值表如表4所示。
P | Q | 若P則Q |
F | F | T |
F | T | T |
T | F | F |
T | T | T |
在自然語言中.常會出現的語句如“只要P就Q”、“因為P所以Q”、“P僅當Q”、“只有Q才P”、“除非Q才P”等都可以表示為“
”的形式。
例4 (1) 如果雪是黑色的,則太陽從西方升起。
(2) 僅當天氣好,我才去公園。
對於(1),設P:雪是黑色的。Q:太陽從西方升起。則(1)可表示為
。
(2)設R:天氣好。S:我去公園。則(2)可表示為
。
聯結詞雙條件聯結詞
雙條件聯結詞“
”的真值表如表5所示。
P | Q | P當且僅當Q |
F | F | T |
F | T | F |
T | F | F |
T | T | T |
例5
(1)雪是黑色的當且僅當2+2>4。
(2)燕子北迴,春天來了。
(1)設P:雪是黑色的。Q:2+2>4。則(1)可表示為
,其真值為T。
(2)設R:燕子北迴。S:春天來了。則(2)可表示為
,其真值為T。
與前面的聯結詞一樣,條件聯結詞和雙條件聯結詞連接的兩個命題之間可以沒有任何的因果聯繫,只要能確定複合命題的真值即可。
聯結詞異或聯結詞
P | Q | P異或Q |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
聯結詞與非聯結詞
聯結詞“
”的定義如表7所示。
P | Q | P與Q的“與非式” |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
聯結詞或非聯結詞
P | Q | P和Q的“或非式” |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 0 |