| 词语 | 重言式 |
| 释义 | [tautology] 逻辑中的一个陈述，否定之则产生矛盾。例如“所有的单身者是男人或不是男人”，是对单身者而断言，指无论是什么样的单身者，他必然或者是男人，或者不是男人。在命题演算中，如[（A鑨B）∧（C鑨￢B）]鑨（C鑨￢A）这样的复杂表达式也可表明是重言式，方法是用一张真值表显示出它的主目A、B、C的T（真）和F（假）的一切可能组合。A的重复是一种纯粹形式的重言（一种陈述胜于另一种陈述），在一些用法中仅仅这种形式的真实性是重言。 |
| 随便看 |
汉语词典收录了463404条汉语词条，基本涵盖了全部常用汉语词语的中英文释义及用法，是汉语学习的有利工具。