恒真式

命题逻辑上，如某式为一连串命题变项的组合，将每个命题变项分别代入真、假，运算结果总是为真，则该式为一恒真式。

恒真式有无限多种，以下为常见例子：

• ${\displaystyle (A\lor \lnot A)}$ （A或非A）：此即排中律，此式只有一个命题变项A，根据定义，无论将A代入“真”或代入“假”，运算结果都会是“真”
• ${\displaystyle (A\to B)\Leftrightarrow (\lnot B\to \lnot A)}$ （若A蕴涵B则非B蕴涵非A，反之亦然）：此即换质换位律
• ${\displaystyle ((\lnot A\to B)\land (\lnot A\to \lnot B))\to A}$ （若非A蕴涵B且非A蕴涵非B，则非A恒为假，则A恒为真）：此即归谬法的原理
• ${\displaystyle \lnot (A\land B)\Leftrightarrow (\lnot A\lor \lnot B)}$ （若非A且B皆为真，则非A或非B为真，反之亦然）：此即德摩根定律
• ${\displaystyle ((A\to B)\land (B\to C))\to (A\to C)}$ （若A蕴涵B且B蕴涵C，则A蕴涵C）：此即三段论的原理
• ${\displaystyle ((A\lor B)\land (A\to C)\land (B\to C))\to C}$ （若A或B其中之一为真，且两者皆蕴涵C，则C为真）：此即枚举法之原理

命题逻辑上证明恒真式的方式之一是代入真值表，对于有n个变项的式子，总共会有2ⁿ种组合。因此有时会非常复杂。

例如以下式子：

${\displaystyle ((A\land B)\to C)\Leftrightarrow (A\to (B\to C))}$ 。

可将${\displaystyle A}$ 、${\displaystyle B}$ 、${\displaystyle C}$ 分别以真或假代入，然后根据规则算出各子式的真假值，最后算出整个式子真假值：

由于每一列的最后运算结果皆为“真”（T），故此式为恒真式。

另外一些方式是用语法方式如自然演绎法等从空集合中证明出恒真句。

如果所有让${\displaystyle R}$ 为真的命题赋值情况下${\displaystyle S}$ 也都会为真，则称${\displaystyle R}$  恒真蕴涵（恒蕴涵）${\displaystyle S}$ ，可记为${\displaystyle R\models S}$ ，这相当于恒真式${\displaystyle R\to S}$ ^[1]。

假设${\displaystyle S}$ 为${\displaystyle A\land (B\lor \lnot B)}$ ，而${\displaystyle R}$ 是${\displaystyle A\land C}$ 。此时${\displaystyle S}$ 不是恒真式，因为${\displaystyle A}$ 为假时${\displaystyle S}$ 为假；但${\displaystyle R\models S}$ ，因为一切使${\displaystyle R}$ 为真的情况都会使${\displaystyle A}$ 为真，而一切使${\displaystyle A}$ 为真的情况都会使${\displaystyle S}$ 为真。

根据定义，如果${\displaystyle R}$ 为矛盾（恒假）命题，则${\displaystyle R}$ 恒蕴涵${\displaystyle S}$ ，因为没有任何情况可使${\displaystyle R}$ 为真，而当${\displaystyle R}$ 为假时条件式${\displaystyle R\to S}$ 总是为真。

引用

• 左孝凌，李为鉴，刘永才．离散数学：上海科学技术文献出版社，1982年
• 王礼萍, 张树功. 重言式和矛盾式的代数化证明[J]. 计算机与数字工程, 2009, 37(8):17-21.
• 耿素云 屈婉玲 张立昂 ．离散数学：清华大学出版社，2008：7
• 张凤霞. 基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究[D]. 山东大学, 2014.