重言式

一类(命题逻辑的)命题形式，在命题变元的各种真值组合下，其真值恒为真。也称常真式。重言式是命题逻辑的逻辑规律。如p∨p，不论p的值是真还是假，它的值都为真。p∨p称为排中律。重言式(p∧p)称为矛盾律。重言式也表示命题逻辑的正确推理形式，如从前提p和p→q可推出结论q，用∧联结前提作合取式p∧(p→q)，再用→联结这合取式和结论q，构成蕴涵式p∧(p→q)→q，这个命题形式是一重言式。重言式的否定称为矛盾式。在命题变元的各种真值组合下，矛盾式的值都为假。应用真值表可以判定一(命题逻辑的)命题形式是不是重言式。