【文件属性】：
文件名称：等值演算与置换规则-2014091522053249
文件大小：477KB
文件格式：PPT
更新时间：2021-03-24 10:42:06
java
等值演算与置换规则
1. 等值演算——由已知的等值式推演出新的等值式的过程
2. 等值演算的基础：
(1) 等值关系的性质：自反性、对称性、传递性
(2) 基本的等值式
(3) 置换规则（见3）
3. 置换规则
设 (A) 是含公式 A 的命题公式，(B) 是用公式 B 置换
(A) 中所有的 A 后得到的命题公式
若 BA，则 (B)(A)