离散数学-前束范式PPT课件.pptVIP

离散数学Discrete Mathematics;第5讲 §2—6 前束范式 ;复习：;（3）量词与命题联结词之间的一些等价式;（4）指导变元、作用域、约束变元、自由变元;（5）约束变元换名和自由变元代入 在一公式中，有的个体变元既是约束出现，又是自由出现，这就容易产生混淆。为了避免混淆，可对约束变元换名或自由变元代入。 约束变元换名 将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 自由变元代入 对某自由出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且处处代入。 ;一、前束范式 定义2-6.1 一个合式公式称为前束范式，如果它有如下形式： (Q1x1)(Q2x2)…(Qkxk)A 其中Qi(1≤i≤k)为?或?，A为不含有量词的谓词公式。称Q1x1Q2x2…Qkxk为公式的首标。 特别地，若Ａ中无量词，则Ａ也看作是前束范式。 可见，前束范式的特点是，所有量词均非否定地出现在 公式最前面，且它的辖域一直延伸到公式之末。 例如，(?x)(?y)(?z)(P(x,y)?Q(y,z))，R(x,y)等 都是前束范式，而(?x)P(x)?(?y)Q(y)， (?x)(P(x)?(?y)Q(x,y))不是前束范式。;定理