| 释义 |
重言式 tautology 常真的真值形式。不论其中变项代表什么命题，是真还是假，重言式总是真的。重言式是关于真值联结词的逻辑规律，也是关于复合命题的逻辑规律。真值形式的真值是否常真，可以通过真值表方法判定。例如：真值形式p∨p是否常真，可以用下表判定。 重言的蕴涵式是正确推理的形式，是极为重要的重言式。例如：“(p∧(p→q))→q”、“(q∧(p→q))→p”、“(p∧(p∨q))→q”等。重言的等值式是命题逻辑中规律的表现。例如：“p←→p”、“(p→q←→(q→p)”、“(p∧q)←→(p∨q)”等。有些逻辑学家把重言式概念也推广到谓词逻辑中去。 |