真值表

---

数理逻辑术语。指把一个命题变元所取的各种可能组合列成的图表。如命题的否定式为p，它的真值有二：如果p真，则p假，如果p真，则p假；如果p假，则p真。因此，它的真值表为：

此外，p∧q、p∨q、p→q、pq和p→q的真值表为：

真值表的创始人是美国的哲学家和逻辑学家皮尔斯(1839—1914)。