第2章谓词逻辑-5.pptVIP

第二章 谓词逻辑 2. 5 前束范式 2.5 前束范式 2.5.1 前束范式 2.5.2 前束析取范式和前束合取范式 2. 5 前束范式 2.5.1前束范式 定义2.5.1:任何一个谓词公式A，如果具有如下形式： (□x1) (□x2)… (□xn)B 其中□可能是量词?或量词?， xi（i=1,…, n）是客体变 元，B是不含量词的谓词公式，则称A是前束范式。 说明:前束范式的量词均在全式的开头,它们的作用域延伸到整个公式的末尾。 例1: ?x?y((F(x)∧G(y))∧┐H(x,y)) √ ?x?y(F(x,y)∧G(y,z))∨?x H(x,y,z) × 定理2.5.1:任何一个谓词公式,均和一个前束范式等价。 前束范式的求法： 首先，将连接词化为只含┐，∧，∨ 第一步：否定深入。即利用量词转化公式，把否定联结 词深入到命题变元和谓词填式的前面。 第二步：改名。即利用换名规则、代入规则更换一些变元的名称，以便消除混乱。 第三步：量词前移。即利用量词辖域的收缩与扩张把量词移到前面。这样便可求出与公式等价的前束范式。 例2:求下列公式的前束范式。 解: 2.5.2前束析取范式和前束合取范式 在前束范式的基础上,可以定义前束析(合)取范式. 定义2.6.2:任何一个谓词公式A，如果具有如下形式则称为前束合取范式： (□x1) (□x2)…(□xn)[(A11∨A12∨…∨A1k1)∧ (A21∨A22∨…∨A2k2 )∧…∧ (Am1∨Am2∨…∨Amkm)] 其中n大于等于1,Aij(j=1, …,ki ,i=1,2,3,…,m)为原子谓词公式或其否定,□为量词?或量词?， xi（i=1,…,n）为客体变元. 任何一个谓词公式A，如果具有如下形式则称为前束析取范式： (□x1) (□x2)…(□xn)[(A11∧A12∧…∧A1k1)∨ (A21∧A22∧…∧A2k2 )∨…∨(Am1∧Am2∧…∧Amkm)] 其中n大于等于1,Aij(j=1, …,ki ,i=1,2,3,…,m)为原子 谓词公式或其否定,□为量词?或量词?， xi（i=1,…, n）为客体变元. 定理2.6.2:每一个谓词公式都可以转化为与其等价的前束析(合)取范式. 例2:求下列公式的前束析取范式和前束合取范式. 解: 小结：本节介绍了谓词公式的前束范式、前束 析取范式和前束合取范式.重点掌握前束析取 范式和前束合取范式求法。 作业: P53 (2),(4) *计算机科学与技术学院 * *计算机科学与技术学院