恒真式是什么意思？
2021-01-23
释义：恒真式,就是正命题为真,逆命题也是真的，也叫重言式
通俗来说，可以理解为：无论什么情况下都为真的命题
恒真式指重言式。重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。
命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。
大家都在看
本站系本网编辑转载，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题，请在30日内与本网联系，我们将在第一时间删除内容！本站文章版权归原作者所有，内容为作者个人观点。本站只提供参考并不构成任何投资及应用建议。本站拥有对此声明的最终解释权。