真值表方法(truth table method)一种求真值的重要方法.指利用真值表来求命题演算公式真值的
方法。
这种方法首先列出公式中所有变元的各种可能的真值组合,即指派,然后遵循由简到繁的原则逐步列出各指派所对应的该公式的子公式的真值,最后列出该公式的真值.例如,求公式非p→q、非q→p的真值的真值表如下:
从上表可以发现a是永真公式.真值表方法是命题逻辑语义部分的重要方法,它有许多重要作用,如求成真指派,求成假指派,证明一个公式是永真公式,可满足公式等.其缺点是对于复杂的公式,用此法工作量太大.