否
沒有支命題
所謂複合命題是指由命題構造成的命題。如下都是複合命題:
(1)如果李司是犯罪嫌疑人,那麼李司有犯罪動機。
(2)或者李司是犯罪嫌疑人,或者李司有犯罪動機。
(3)王武的計算機配置合理並且價格低廉。
(4)王武的計算機配置合理當且僅當它的價格低廉
雖然複合命題是由命題構造而成的,但並不是任意命題組合在一起就可構成覆命題。如果僅僅把兩個命題擺在一起而沒有聯結詞,“李司是犯罪嫌疑人”和“李司有犯罪動機”仍然只是兩個命題。
我們稱構成複合命題的命題為支命題。因此,支命題必須透過聯結詞的組合作用才能構成複合命題。
從邏輯結構上分析,複合命題有兩個基本構成要素:支命題和聯結詞。
聯結詞是邏輯常項,因為聯結詞有確定的邏輯涵義,有什麼樣的聯結詞決定了一個覆命題有什麼樣的邏輯形式。
支命題被稱作邏輯變項,它是以命題為取值範圍的變項,我們用p,q,r…表示。顯然p,q,r代表任意命題。
我們可從如下兩組例子看到二者的區別。
若以“天在下雨”和“地是溼的”為支命題,我們可構造出如下複合命題:
如果天在下雨,那麼地是溼的。
天在下雨並且地是溼的。
天在下雨或者地是溼的。
天在下雨當且僅當地是溼的。
儘管這四個命題有完全相同的支命題,但由於聯結詞不同,它們有完全不同的邏輯形式,由於邏輯形式不同因而它們是四個不同的命題。我們看到,這四個命題的確描述的是不同事件。
再看如下幾個複合命題:
如果李司是犯罪嫌疑人,那麼李司有犯罪動機。
如果王武的計算機配置合理,那麼它的價格低廉。
儘管這幾個命題的支命題完全不同,但它們有相同的聯結詞,因此它們有相同的邏輯形式。如果分別用p、q表示前後兩個支命題,它們都有形式“如果p,那麼q”。它們是同一形式的命題因而具有相同的邏輯性質。
1.2複合命題的邏輯特徵
一個命題要麼是真的,要麼是假的,無所謂真假的語句不表達命題。而符合事實的命題是真的它就不可能是假的,是假的就不可能真,因此一個命題不可能既真又假。我們把真假叫做命題的邏輯值,又稱作命題的真值(truth-value)。
對簡單命題我們是直接以事實為根據來判定其真假。
複合命題則不同,它是由聯結詞聯結支命題而構成的,從這個意義上講,複合命題描述的是支命題之間的邏輯關聯。支命題之間的邏輯關聯就表現為支命題的真假對整個複合命題真假的制約關係。複合命題的真假是由支命題的真假決定的.
邏輯關聯是由聯結詞決定。聯結詞不同,支命題之間的邏輯關聯就不同,支命題的真假對整個覆命題真假的制約情況就不同。把一種形式的覆命題其支命題真假對複合命題真假的制約情況列出來,就得到一張表,把它叫做該種形式複合命題的真值表。
我們用“t”表示真,“f”表示假,假定複合命題的形式為“p或者q”,我們就得到如下真值表:
pqp或者q
1、ttt
2、tft
3、ftt
4、fff
每一種形式的命題都有一個相應的真值表。真值表描述了支命題的真假對一個複合命題真假的制約關係,因此,它實際上描述的是這一形式複合命題的邏輯特徵。分析一種形式複合命題的邏輯特徵就必須要分析它的真值表,透過分析其真值表可以揭示一種形式複合命題的邏輯性質。
否
沒有支命題
所謂複合命題是指由命題構造成的命題。如下都是複合命題:
(1)如果李司是犯罪嫌疑人,那麼李司有犯罪動機。
(2)或者李司是犯罪嫌疑人,或者李司有犯罪動機。
(3)王武的計算機配置合理並且價格低廉。
(4)王武的計算機配置合理當且僅當它的價格低廉
雖然複合命題是由命題構造而成的,但並不是任意命題組合在一起就可構成覆命題。如果僅僅把兩個命題擺在一起而沒有聯結詞,“李司是犯罪嫌疑人”和“李司有犯罪動機”仍然只是兩個命題。
我們稱構成複合命題的命題為支命題。因此,支命題必須透過聯結詞的組合作用才能構成複合命題。
從邏輯結構上分析,複合命題有兩個基本構成要素:支命題和聯結詞。
聯結詞是邏輯常項,因為聯結詞有確定的邏輯涵義,有什麼樣的聯結詞決定了一個覆命題有什麼樣的邏輯形式。
支命題被稱作邏輯變項,它是以命題為取值範圍的變項,我們用p,q,r…表示。顯然p,q,r代表任意命題。
我們可從如下兩組例子看到二者的區別。
若以“天在下雨”和“地是溼的”為支命題,我們可構造出如下複合命題:
如果天在下雨,那麼地是溼的。
天在下雨並且地是溼的。
天在下雨或者地是溼的。
天在下雨當且僅當地是溼的。
儘管這四個命題有完全相同的支命題,但由於聯結詞不同,它們有完全不同的邏輯形式,由於邏輯形式不同因而它們是四個不同的命題。我們看到,這四個命題的確描述的是不同事件。
再看如下幾個複合命題:
如果天在下雨,那麼地是溼的。
如果李司是犯罪嫌疑人,那麼李司有犯罪動機。
如果王武的計算機配置合理,那麼它的價格低廉。
儘管這幾個命題的支命題完全不同,但它們有相同的聯結詞,因此它們有相同的邏輯形式。如果分別用p、q表示前後兩個支命題,它們都有形式“如果p,那麼q”。它們是同一形式的命題因而具有相同的邏輯性質。
1.2複合命題的邏輯特徵
一個命題要麼是真的,要麼是假的,無所謂真假的語句不表達命題。而符合事實的命題是真的它就不可能是假的,是假的就不可能真,因此一個命題不可能既真又假。我們把真假叫做命題的邏輯值,又稱作命題的真值(truth-value)。
對簡單命題我們是直接以事實為根據來判定其真假。
複合命題則不同,它是由聯結詞聯結支命題而構成的,從這個意義上講,複合命題描述的是支命題之間的邏輯關聯。支命題之間的邏輯關聯就表現為支命題的真假對整個複合命題真假的制約關係。複合命題的真假是由支命題的真假決定的.
邏輯關聯是由聯結詞決定。聯結詞不同,支命題之間的邏輯關聯就不同,支命題的真假對整個覆命題真假的制約情況就不同。把一種形式的覆命題其支命題真假對複合命題真假的制約情況列出來,就得到一張表,把它叫做該種形式複合命題的真值表。
我們用“t”表示真,“f”表示假,假定複合命題的形式為“p或者q”,我們就得到如下真值表:
pqp或者q
1、ttt
2、tft
3、ftt
4、fff
每一種形式的命題都有一個相應的真值表。真值表描述了支命題的真假對一個複合命題真假的制約關係,因此,它實際上描述的是這一形式複合命題的邏輯特徵。分析一種形式複合命題的邏輯特徵就必須要分析它的真值表,透過分析其真值表可以揭示一種形式複合命題的邏輯性質。