2.1等值定理 ■若把初等数学里的+、一、×、÷等运算符看作 是数与数之间的联结词,那么由这些联结词所表 达的代数式之间,可建立许多等值式如下 2-y2=(X+y)(x-y) (X+y)2=x2+2Xy+y2 sin2xcos2x= 1 在命题逻辑里也同样可建立一些重要的 等值式。2.1 等值定理 ◼ 若把初等数学里的＋、－、×、÷等运算符看作 是数与数之间的联结词，那么由这些联结词所表 达的代数式之间，可建立许多等值式如下： x 2－y 2 = (x＋y)(x－y) (x＋y)2 = x2＋2xy＋y 2 sin2x＋cos2x = 1 …… 在命题逻辑里也同样可建立一些重要的 等值式