“21天好习惯”第一期－8

离散数学——一阶逻辑前束范式的表示

知识点：定义5.2设A为一个一阶逻辑公式，若A具有如下形式
Q1x1Q2x2......QkXkB,则称A为前束范式，其中Qi (1<i<k)为任意或存在，B为不含量词的公式.

有关参考概念：

1.置换规则
设TA4)是含A的公式,那么,若A<=B,则灭A)→(B).

2.换名规则
设A为一公式，将A中某量词辖域中个体变项的所有约束出现及相应的指导变元换成该量词辖域中未曾出现过的个体变项符号，其余部分不变，设所得公式为A'，则A'=A.

3.代替规则
设A为一公式，将A中某个个体变项的所有自由出现用A中未曾出现过的个体变项符号代替，其余部分不变，设所得公式为A'，则A'=A.

例题:

求前束范式