重言式 80657名zhòngyánshì (软件注音)

---

[tautology]
逻辑中的一个陈述，否定之则产生矛盾。例如“所有的单身者是男人或不是男人”，是对单身者而断言，指无论是什么样的单身者，他必然或者是男人，或者不是男人。在命题演算中，如[（A鑨B）∧（C鑨￢B）]鑨（C鑨￢A）这样的复杂表达式也可表明是重言式，方法是用一张真值表显示出它的主目A、B、C的T（真）和F（假）的一切可能组合。A的重复是一种纯粹形式的重言（一种陈述胜于另一种陈述），在一些用法中仅仅这种形式的真实性是重言。