在 形式語法 中，我們之前給出了命題邏輯的形式語義。真值表 是一種利用這種形式語法來計算給定解釋（將真值分配給命題字母）時較大型公式的真值的工具。真值表也可以幫助澄清來自 形式語法 的材料。
我們從否定真值表開始。它對應於我們擴充套件賦值定義中的第（ii）條。
| |
|
|
| T |
F |
| F |
T |
|
T 和 F 分別代表真和假。每一行代表一個解釋。第一列顯示解釋分配給命題字母 的真值。在第一行，解釋將 的值為真。在第二行，解釋將 的值為假。
第二列顯示在給定行解釋下 接收的值。在第一行的解釋下， 的值為假。在第二行的解釋下， 的值為真。
我們可以更正式地說。上面真值表的第一行表明，當 ![{\displaystyle {\mathfrak {v}}[\mathrm {P} ]\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1f290d5e2a6545283f453fc40d450f3c912e081)
= 真時，![{\displaystyle {\overline {\mathfrak {v}}}[\lnot \mathrm {P} ]\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b65176a279dec339d693de7e05a52411907cf87a)
= 假。第二行表明，當 = 假時， = 真。我們也可以簡單地說：否定與被否定的語句具有相反的真值。
合取的真值表對應於我們對擴充套件賦值的定義中的第（iii）條。
| |
|
|
|
|
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
F |
|
這裡我們有兩個句子字母，因此有四種可能的解釋，每種解釋由一行表示。前兩列顯示了四種解釋對 和 的賦值。第一行表示的解釋將兩個句子字母都賦值為真，以此類推。最後一列顯示了對 的賦值。你可以看到，當兩個合取項都為真時，合取為真——而在其他情況下，合取為假，即當至少一個合取項為假時。
析取的真值表對應於我們對擴充套件賦值的定義中的第（iv）條。
| |
|
|
|
|
| T |
T |
T |
| T |
F |
T |
| F |
T |
T |
| F |
F |
F |
|
這裡我們看到，當至少一個析取項為真時，析取為真——而在其他情況下，析取為假，即當兩個析取項都為假時。
條件句的真值表對應於我們對擴充套件賦值的定義中的第（v）條。
| |
|
|
|
|
| T |
T |
T |
| T |
F |
F |
| F |
T |
T |
| F |
F |
T |
|
當條件句的前件為假或後件為真（或兩者都為真）時，條件句為真。在其他情況下，它是假的，即當條件句的前件為真而條件句的後件為假時。
雙條件句的真值表對應於我們對擴充套件賦值的定義中的第（vi）條。
| |
|
|
|
|
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
T |
|
當兩個部分具有相同的真值時，雙條件句為真。當兩個部分具有相反的真值時，它為假。
我們將使用來自形式語義學的同一個示例句子
我們如下構造它的真值表
| |
|
|
|
|
|
|
|
|
| T |
T |
T |
T |
T |
F |
F |
| T |
T |
F |
T |
T |
F |
F |
| T |
F |
T |
F |
T |
F |
T |
| T |
F |
F |
F |
F |
T |
T |
| F |
T |
T |
F |
T |
F |
T |
| F |
T |
F |
F |
T |
F |
T |
| F |
F |
T |
F |
T |
F |
T |
| F |
F |
F |
F |
F |
T |
T |
|
有三個句子字母，我們需要八個賦值（以及真值表的行）來涵蓋所有情況。該表分部分構建示例句子。 列基於 和 列。 
列基於 和 列。 反過來，這是其在下一列中否定的基礎。最後，最後一列基於 和 列。
從真值表中可以看出，當 和 都為真時，例句為假，其他情況都為真。
此表可以以更壓縮的形式寫成如下形式。
| |
|
|
|
|
(1)
|
|
(4)
|
(3)
|
|
(2)
|
|
| T |
T |
T |
|
T |
|
F |
F |
|
T |
|
| T |
T |
F |
|
T |
|
F |
F |
|
T |
|
| T |
F |
T |
|
F |
|
T |
F |
|
T |
|
| T |
F |
F |
|
F |
|
T |
T |
|
F |
|
| F |
T |
T |
|
F |
|
T |
F |
|
T |
|
| F |
T |
F |
|
F |
|
T |
F |
|
T |
|
| F |
F |
T |
|
F |
|
T |
F |
|
T |
|
| F |
F |
F |
|
F |
|
T |
T |
|
F |
|
|
連線詞上面的數字不是真值表的一部分，而是顯示了列的填充順序。
