命题逻辑中常真的真值形式的简称。不论命题变元取什么真值，其值总是真的。它表现命题逻辑里的规律。如：p∨—p，(p∨q)(q∨p)均为重言式。一个公式是否为重言式，可以通过运用真值表等方法予以判定。有的逻辑学家把重言式概念也推广到谓词逻辑中去。
