真值表方法

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

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