重言式

在任一真值指派下都真的真值形式。如：
分离律：(P∧(P→q))→q,
德摩根律：⇁(P∧q)←(⇁P∨⇁q);
　⇁(P∨q)←(⇁P∧⇁q)。

重言式

亦称函真公式、恒真命题。如果一个复合命题的表达式，不论其中各命题变元取何种真值，它的值总是为真，则称该表达式为重言式。重言式反映逻辑规律，命题逻辑中所有的规律都可以用重言式表示。用真值表刻划重言式，则在最后一列中的真值全部为真。在判定一个推理的有效性时，就看其推理形式是否为重言的蕴涵式。例如，充分条件假言推理的肯定前件式为

和这个推理形式相应的蕴涵式是
p→q∧p→q

它的真值表是

p	q	p→q	(p→q)∧p	(p→q)∧p→q
真	真	真	真	真
真	假	假	假	真
假	真	真	假	真
假	假	真	假	真

从表中可以看出，不论P和q取什么值，最后一列的值皆为真。和重言式相对立的是矛盾式。矛盾式是不论其中各命题变元取何种真值，它的值总是为假的表达式。当A是重言式时，乛A则是矛盾式。当A是矛盾式时，则乛A是重言式。

重言式

tautology