重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。
如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。
数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。
1.定义
给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。
设A为任一 命题公式，若A在它的各种 赋值下取值均为真，则称A是重言式。
逻辑重言式是不管它的部件的真值而总是为真陈述。例如，陈述 "要么所有的乌鸦都是黑的，要么不都是黑的" 是重言式，因为不用管乌鸦是什么颜色都是真的。形式的表达为一个用 X 表示 "所有的乌鸦都是黑的" 的命题：X or not X，它同样为真，因为不管 X 是否为真，都有一个 离析项(disjunct)为真，而使整个命题为真。
不管它的部件的真值而总是为假的陈述叫做矛盾。
永真式与永假式互为 否定式
2.相关定理
定理1： 任何两个重言式的合取或析取，仍然是一个重言式。
定理2：一个重言式，对同一分量都用任何公式置换，其结果仍为一重言式。
定理3：设A,B为两个命题公式，A和B逻辑等价当且仅当双条件命题“A当且仅当B”成立。
定理4：设A,B,C为合式公式，若A蕴含B且A是重言式，则B也是重言式。
定理5：若A蕴含B，B蕴含C，则A蕴含C，即蕴含关系是传递的。
3.发现重言式
在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。
4.计算机领域
重言式作为即为逻辑词，在计算机领域具有广泛应用。在自然语言处理的词法分析领域，重言式经常被用作逻辑判断的准则。重言式在，计算机领域中也经常被推广为广义重言式，且其经常与离散数学中的二值逻辑模糊蕴涵算子结合使用，其在近年来已成功应用于模糊控制、近似推理、词计算、模糊图像处理等诸多领域,引起了学者们的广泛关注.其中,与蕴涵算子相关的广义重言式已经成为当前研究的热点.目前,人们逐渐意识到广义重言式在模糊逻辑的理论及应用中发挥的重要作用。