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