重言式，重言式和矛盾式

一、p→p为重言式吗

\p→p\是数理逻辑中的一个命题公式，它表示如果p成立，则p也成立。换句话说，如果一个命题p成立，则它本身也是成立的。这种自指命题的形式在逻辑学中被称为重言式。因此，\p→p\是一个重言式。

二、重言式中重的读音是什么

chong二声重言：修辞方式，重叠单字，以加强描写效果（见《现代汉语词典》）

三、什么是重言式

重言式（Tautology）又称为永真式，它的汉语拼音为：[Chóngyánshì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。

中文名

重言式

外文名

Tautology

别名

永真式

拼音

Chóngyánshì

类别

命题公式