簡(jiǎn)化真值表方法( simplified method of truth table)將計(jì)算真值形式的真值表方法加以簡(jiǎn)化的一種方法。真值表方法是計(jì)算真值的重要方法。但是，如果一公式里的命題變項(xiàng)多過(guò)兩個(gè)，或公式較長(zhǎng)時(shí)，那么相應(yīng)的真值表就較為復(fù)雜，因此有必要把真值表方法簡(jiǎn)化。

正文

目前常用的一種簡(jiǎn)化方法適用于蘊(yùn)涵式。其主要思想是：為了說(shuō)明一蘊(yùn)涵式常真，要求證明：不論其中變項(xiàng)取什么值，公式不會(huì)假。因?yàn)椋粋€(gè)蘊(yùn)涵式A→B,只有當(dāng)前件A真而后件B假時(shí)，它才是假的。簡(jiǎn)化方法就是要證明：不論其中變項(xiàng)取什么值，前件A真而后件B假是不可能的要使前件真而后件假，對(duì)變項(xiàng)賦值時(shí)必然會(huì)導(dǎo)致矛盾。例如要說(shuō)明“((p→q)∧p)→q”是重言式，則只需證明(pq)Ap真,q假是不可能的。如果設(shè)前件真，后件假，那么有q假，此時(shí)p如真,p→q假;p如假p→q真，但兩種情況前件(p→q)∧p都假因而前件真后件假是不可能的。所以原公式為一重言式。