等值演算与置换规则 等值演算 由已知的等值式推演出新的等值式的过程 置换规则:若A台B,则(B)→(4) 等值演算的基础 (1)等值关系的性质:自反、对称、传递 (2)基本的等值式 (3)置换规则6 等值演算与置换规则 等值演算: 由已知的等值式推演出新的等值式的过程 置换规则：若AB,则(B)(A) 等值演算的基础： (1) 等值关系的性质：自反、对称、传递 (2) 基本的等值式 (3) 置换规则