【文件属性】：
文件名称：置换规则、换名规则、代替规则-离散数学第一章离散数学第一章离散数学第一章离散数学第一章
文件大小：329KB
文件格式：PPT
更新时间：2021-04-22 11:59:55
java
置换规则、换名规则、代替规则
1. 置换规则
设(A)是含A的公式, 那么, 若AB, 则(A)(B).
2. 换名规则
设A为一公式，将A中某量词辖域中个体变项的所有约束
出现及相应的指导变元换成该量词辖域中未曾出现过的个
体变项符号，其余部分不变，设所得公式为A，则AA.
3. 代替规则
设A为一公式，将A中某个个体变项的所有*出现用A中
未曾出现过的个体变项符号代替，其余部分不变，设所得
公式为A，则AA.