等值演算与置换规则-2014091522053249

【文件属性】：

文件名称：等值演算与置换规则-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

等值演算与置换规则 1. 等值演算——由已知的等值式推演出新的等值式的过程 2. 等值演算的基础： (1) 等值关系的性质：自反性、对称性、传递性 (2) 基本的等值式 (3) 置换规则（见3） 3. 置换规则 设 (A) 是含公式 A 的命题公式，(B) 是用公式 B 置换 (A) 中所有的 A 后得到的命题公式 若 BA，则 (B)(A)