出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第81页（215字）
在经典命题演算中，公式的真假是由其中的原子子公式的真假决定的。
比如A∧B，当A和B都真时，它是真的，当A、B中有一个是假的时候，A∧B便假，在命题演算中，有一类公式的真假不随其中的原子子公式的变化而变化，永远取真值，这样的命题便称之为重言式。比如A→A∨B便是一个重言式。
重言式是一种重要的逻辑公式，它反映了命题逻辑中的逻辑规律。