重言式
zhòng yán shì
ㄓㄨㄥˋ ㄧㄢˊ ㄕˋ
📖 词语释义
- 拼音字母zhong yan shi
- 首字母zys
- 注音符号ㄓㄨㄥ ㄧㄢ ㄕ
- 更新2026-07-10 04:24:41
更多解释
重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。