恒真式 恒真式 发布于 2023-06-04 恒真式（tautology）又称为套套逻辑、恒真句、恒真式或重言式等。恒真式是指在任何解释下皆为真的命题，例如经典逻辑中的P∨¬P{displaystyle Pvee neg P}个变项的式子，总共会有2n种组合。因此有时会非常复杂。例如以下式子：可将A{displaystyle A}），故此式为恒真式。另外一些方式是用语法方式如自然演绎法等从空集合中..
