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