| 词条 | 重言式 |
| 类别 | 中文百科知识 |
| 释义 | 重言式分类：【文化精萃】 亦称函真公式、恒真命题。如果一个复合命题的表达式，不论其中各命题变元取何种真值，它的值总是为真，则称该表达式为重言式。重言式反映逻辑规律，命题逻辑中所有的规律都可以用重言式表示。用真值表刻划重言式，则在最后一列中的真值全部为真。在判定一个推理的有效性时，就看其推理形式是否为重言的蕴涵式。例如，充分条件假言推理的肯定前件式为 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。