接下來，我們討論真值表。它可以被用於機動地確定一個複合命題的真值。但在進入這一話題之前，我們首先使用它來定義上述真值函項聯結詞。

否定。為了使用真值表來定義否定，需要記住如下規則：

專欄11-4 否定式的真值規則

一個否定式是真的，當且僅當被否定的命題是假的；否則，它是假的。

真值表是透過如下方式來定義否定的：規定簡單命題P的否定式～P何時為真，何時為假。

為了構造這樣的真值表，我們首先在左上角寫上不加否定聯結詞的P，右上角寫上～P。然後在左邊P下方的列中，寫出P的所有可能的真值，即T（真）和F（假），因為：

對於任意命題，它要麼為真，要麼為假。

然後，在右邊～P下方的列中，寫出相應的真值。這些真值是依據P的真值和否定式的真值規則，透過計算求得的。對於左側列中的每一行，透過運用專欄11-4中的規則，可以得出右下方框所顯示的真值：

第一行：當P為真時，～P為假。

第二行：當P為假時，～P為真。

其他真值函項聯結詞。為了定義其他真值函項聯結詞，首先要注意的是它們都涉及兩個命題，且各個命題的真值均有兩種可能：T（真）或F（假）。這決定了寫在真值表左側各列中的真和假的數目。為了計算每一列中T和F的總數，我們使用公式2n。其中，2表示任意命題具有兩種可能的真值，n表示出現在公式中的不同命題的數目。在否定式的定義中，只有一個命題，因此n等於1，而2n代表兩個真值：一個是T，一個是F。但是，對於合取式、析取式、條件式和雙條件，它們均包含兩個命題，分別表示為P和Q。這時，n等於2，而2n代表每個命題被賦予四個真值。在左邊第一列中，我們自上而下指派四個真值：T、T、F和F。在左邊第二列中，自上而下指派T、F、T和F。將要確定真值的那個公式位於表的右上方。在該公式的下面，每一行所填的真值是依據該行左邊的真值和相應的真值規則透過計算而得到的。現在，我們為剩下的每一種複合命題構造真值表。

Loading...

未載入完，嘗試【重新整理】or【退出閱讀模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Edge瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)