重言式和矛盾式

重言式

命题P在所有情况下都为真，则P是重言式。这意味着它的真值表的最后一列仅包含T。

示例：证明语句(p⟶q) ↔(∼q⟶∼p)是一个重言式。

解答：做出上述语句的真值表

由于最后一列包含所有T，所以它是一个重言式。

矛盾

始终为假的语句称为矛盾式。

示例：证明语句p ∧∼p是一个矛盾式。

解决方案

由于最后一列包含所有F，所以它是一个矛盾式。

应急措施

根据变量的真值而可以为真或假的语句称为偶真式。