给定n个命题变项,按合式公式的形成规则可以形成无数多个命题公式,但这些无穷尽的命题公式中,有些具有相同的真值表。例如,n = 2时,P→Q,P∨Q,(P∧Q),…,表面看来是不同的命题形式,但它们在4个赋值FF,FT,TF,TT下均有相同的真值,也就是它们的真值表最后一列是相同的。事实上,n个命题变项只能生成 个真值不同的命题公式。在n = 2时,只能生成 个真值不同的命题公式。这就存在着如何判断那些命题公式具有相同真值的问题。设A,B是均含n个命题变项P1,P2,…,Pn的命题公式,由定义可知,若A,B具有相同的真值,则AB总取值为T,即AB是重言式。