重言式

---

也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用真值表判定它们都是重言式。

重言式都是逻辑规律。如上述重言式⑴、⑵、⑷分别是同一律、矛盾律和排中律在命题逻辑中的表现。重言的蕴涵式和等值式相当于复合命题的有效推理形式。如(p(p→q))→q，(p→q)←→(q→q)等。有些逻辑学家把重言式概念还推广到谓词逻辑中去。