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