重言式
编辑：Simone
2025-04-20 01:37:06
570 阅读
重言式（Tautology）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。
想要了解更多“重言式”的信息，请点击：重言式百科
版权声明：本站【问百科】文章素材来源于网络或者用户投稿，未经许可不得用于商用，如转载保留本文链接：https://www.wenbaik.com/article/359764.html
