在 形式语法 中，我们之前给出了命题逻辑的形式语义。真值表 是一种利用这种形式语法来计算给定解释（将真值分配给命题字母）时较大型公式的真值的工具。真值表也可以帮助澄清来自 形式语法 的材料。
我们从否定真值表开始。它对应于我们扩展赋值定义中的第（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 |
|
|
连接词上面的数字不是真值表的一部分，而是显示了列的填充顺序。
