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