Chapter_谓词逻辑(前束范式).pptVIP

离散数学Discrete Mathematics;第5讲 §2—6 前束范式 ;复习：;（3）量词与命题联结词之间的一些等价式;（4）指导变元、作用域、约束变元、自由变元;（5）约束变元换名和自由变元代入 在一公式中，有的个体变元既是约束出现，又是自由出现，这就容易产生混淆。为了避免混淆，可对约束变元换名或自由变元代入。 约束变元换名 将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 自由变元代入 对某自由出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且处处代入。 ;第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex Normal Form); 2. 6 前束范式(Prenex Normal Form);定理2.5.1:任何一个谓词公式,均和一个前束范式等价。 前束范式的求法： 第一步：否定深入。即利用量词转化公式，把否定联结 词深入到命题变元和谓词填式的前面。 第二步：改名。即利用换名规则、代入规则更换一些变元的名称，以便消除混乱。 第三步：量词前移。即利用量词辖域的收缩与扩张把量词移到前面。这样便可求出与公式等价的前束范式。;举例 73页 例