重言式

---

重言式也叫“永真公式”或“普遍有效公式”。

在数理逻辑中重言式是重言的真值形式的简称。意思是说，一个真值形式(或真值函项)对其中各命题变元无论取什么样的真值，都使该真值形式所取的值是真的。

逻辑实证主义者在对科学知识的逻辑形式进行分析时，区分了经验命题和逻辑命题，并把逻辑命题又区分为原子命题和原子命题的真值函项。

在说明原子命题的真值函项时，他们借用了数理逻辑有关重言式的规定，以反映真值函项的逻辑规律。

维特根斯坦说：“在可能的真值条件组合中，有两种极端的情形。在一种情况下，命题对于原子命题的所有一切真值的可能性都是真的，我们说这种真值条件是重言式的。在第二种情况下，命题对于所有一节真值的可能性都是假的，真值的条件是矛盾的。在第一种情况下，我们管命题叫重言式的命题，在第二种情况下，我们管它叫矛盾命题。”罗素也把重言式看作是逻辑命题的特征，它表明某个命题函项恒真这种形式。

重言式在逻辑实证主义那里不是无意思的，它构成符号体系的一部分。