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

正文

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