出处:按学科分类—社会科学总论 河北人民出版社《简明文化知识辞典》第1323页(220字)
数理逻辑术语。指把一个命题变元所取的各种可能组合列成的图表。如命题的否定式为p,它的真值有二:如果p真,则p假,如果p真,则p假;如果p假,则p真。因此,它的真值表为:
此外,p∧q、p∨q、p→q、pq和p→q的真值表为: