重言式(Tautology )又称为永真式,它的汉语拼音为:[Chóng yán shì],是逻辑学的名词。命题公式中有一类重言式。如果一个公式,对于它的任一解释下其真值都为真,就称为重言式(永真式)。数理逻辑旨在利用有限的公理推出尽可能多的重言式,除此之外,重言式在计算机词法分析领域也具有重要应用。
n. tautology ; tautologies
At the last,discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.
最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。
参考来源 - Lukasiewicz多值逻辑系统中的广义重言式理论·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐