真值表(汉语拼音:Zhen Zhi Biao;英语:Truthtable),列出命题公式真假值的表。通常以1表示真,0 表示假。
命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定,命题联结词的真值表给出了真假值的算法:
即:当P为假时,P为真;当P为真时,P为假。
由这些算法可以得出任何一个命题公式的真值表。例如,命题公式P(qr)的真值表如下:
这个命题公式中有3个命题变元,因此命题变元共有8种互不相同的取值法,真值表中每一行代表一种取法。真值表的最后一列是命题公式的取值。如果一个命题公式最后一列全是1,则这个公式就是恒真式。