在一阶逻辑中,有些命题可以有不同的符号化形式。例如命题"没有不犯错误的人"取全总个体域时有下面两种不同的符号化形式。
(1)
x(F(x)∧
G(x))
(2)
x(F(x)→G(x))
其中,F(x):x是人,G(x):x犯错误。(1)和(2)都是正确的,同命题逻辑的情况一样,我们将称(1)与(2)是等值的。