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