重言式（Tautology ）又稱為永真式，它的漢語拼音為：[Chóng yán shì]，是邏輯學(xué)的名詞。命題公式中有一類重言式。如果一個(gè)公式，對(duì)于它的任一解釋下其真值都為真，就稱為重言式（永真式）。數(shù)理邏輯旨在利用有限的公理推出盡可能多的重言式，除此之外，重言式在計(jì)算機(jī)詞法分析領(lǐng)域也具有重要應(yīng)用。

中文名

重言式

外文名

Tautology

別名

永真式

拼音

Chóng yán shì

類別

命題公式。