重言式与矛盾

重言式

如果命题P在所有情况下都是正确的，则它是一个重言式。这意味着它在真值表的最后一列中包含唯一的T。

示例：证明(p⟶q)↔(〜q⟶〜p)是重言式。

解决方案：制作上述语句的真值表：

由于最后一列包含所有T，因此是重言式。

矛盾：

始终为假的陈述被称为矛盾。

例子：证明陈述∧p是矛盾的。

解：

由于最后一列包含所有F，因此这是一个矛盾。

应急：

根据其变量的真值，可以为真或为假的语句称为偶然性。