真值表方法

真值表方法(truth table method)一種求真值的重要方法.指利用真值表來求命題演算公式真值的方法。

公式介紹

這種方法首先列出公式中所有變元的各種可能的真值組合，即指派，然後遵循由簡到繁的原則逐步列出各指派所對應的該公式的子公式的真值，最後列出該公式的真值.例如，求公式+=(gyp }q>}(} q}p)的真值的真值表如下:

真值表方法

從上表可以發現a是永真公式.真值表方法是命題邏輯語義部分的重要方法，它有許多重要作用，如求成真指派，求成假指派，證明一個公式是永真公式，可滿足公式等.其缺點是對於複雜的公式，用此法工作量太大.