若把初等数学里的+、-、×、÷等运算符看作是数与数之间的联结词,那么由这些联结词所表达的代数式之间,可建立许多等值式如下:
x
2
-y
2
= (x+y)(x-y)
(x+y)
2
= x
2
+2xy+y
2
sin
2
x+cos
2
x = 1
……
它们的重要性大家是熟知的。
在命题逻辑里也同样可建立一些重要的等值式。