邏輯必然和邏輯偶然命題

偶真式

關於真值表例11-62和例11-63右側復合命題的真值,我們學到了什麼呢?我們學到的是:它們既不是必然的真,也不是必然的假;而是有時為真,有時為假。這取決於簡單支命題的真值和邏輯聯結詞。具有這類真值的命題是偶然命題。一個復合命題是偶真式,當且僅當,其真值表中主聯結詞下面至少有一行是真,有一行是假。在例11-63中,至少有一個T和一個F位於「∩」的下方。在例11-62中,同樣至少有T和一個F位於「·」的下方。依據這一結果,這兩個復合命題都是偶真式。

矛盾式

矛盾式是一種復合命題,總是為假。矛盾式的值可以依據形式來確定,即它與各個支命題的實際真值無關。在矛盾式的真值表中,位於主聯結詞下方的都是F。請看下面的例子:

例11-64 B≡~B

因為例11-64只包含命題B(它出現了兩次),由21可知需要兩行,一行是T,一行是F。因此,我們得到如下真值表:

例11-65

這一真值表表明,例11-64是一個矛盾式。

重言式

有些命題是重言式:僅通過形式就可以斷定它們總是真的(與各個支命題的實際真值無關)。在一個重言式的真值表中,位於其主聯結詞下方的都是T。上述例11-64的否定就是重言式,即:

例11-66 ~(B≡~B)

依據這個命題的真值表,可知位於該公式主聯結詞下方的都是T:

例11-67

例11-67給出了例11-66的真值,確證了它是重言式。邏輯中著名的重言式是所謂的排中律(即Pˇ~P)與不矛盾律〔即~(P ·~P)〕。為了進一步練習,分別為它們構造一個真值表,來檢驗它們是否的確為重言式。最後,請記住如下要點:

專欄11-10 矛盾式、重言式和否定

矛盾式的否定是重言式,重言式的否定是矛盾式。

《邏輯思維簡易入門(原書第2版)》