重言式（Tautology）是逻辑学中的一个概念，指的是在任何解释或赋值下都为真的命题公式。换句话说，重言式表达的是一个逻辑上的必然真理，它的真值仅取决于其形式结构，而与具体的内容无关。例如，逻辑公式“p ∨ ¬p”在任何命题变元p的取值下都为真，因此它是一个重言式。
在形式逻辑中，重言式可以通过真值表、逻辑推理等方法进行验证。它们在数理逻辑中非常重要，因为可以从有限的公理系统中推导出许多重言式。此外，在计算机科学领域，特别是在词法分析中，重言式也有其应用价值。
重言式体现了逻辑规律，是逻辑学研究和应用中的一个基础概念