左孝凌离散数学课件第02章谓词逻辑.ppt

* 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) 2.6.2前束析取范式和前束合取范式(Prenex disjunctive normal form Prenex conjunctive normal form) 在前束范式的基础上,可以定义前束析(合)取范式. 定义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）为客体变元. * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) 任何一个谓词公式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:每一个谓词公式都可以转化为与其等价的前束析(合)取范式. * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) 例2:求下列公式的前束析取范式和前束合取范式. 解: * 第二章 谓词逻辑（Predicate Logic）  2. 6前束范式(Prenex normal form) 小结：本节介绍了谓词公式的前束范式、前束析取范式和前束合取范式.重点掌握前束析取范式和前束合取范式求法。 作业: P75 (2) b，d 离散数学(Discrete Mathematics) * 第二章 谓词逻辑（Predicate Logic） 2.1谓词的概念与表示 2.2命题函数与量词 2.3谓词公式与翻译 2.4变元的约束 2.5谓词演算的等价式与蕴含式 2.6前束范式 2.7谓词演算的推理理论 * 第二章 谓词逻辑（Predicate Logic）  2.7谓词演算的推理理论 2.7谓词演算的推理理论 2.7.1推理规则 2.7.2证明举例 * 第二章 谓词逻辑（Predicate Logic）  2.7谓词演算的推理理论 2.7.1推理规则(Rules of inference) 在谓词演算中，推理的形式结构仍为 H1?H2?H3?....?Hn?C 若 H1?H2?H3?....?Hn?C是永真式，则称由前提 H1,H2,H3,.…,Hn逻辑的推出结论C，但在谓词逻 辑中, H1,H2,H3,.…,Hn , C均为谓词公式。 命题演算中的推理规则，可在谓词推理理论中应用。 * 第二章 谓词逻辑（Predicate Logic）  2.7谓词演算的推理理论 与量词有关的四条重要推理规则： 1、全称指定规则（US规则） 2、全称推广规则（UG规则） 3、存在指定规则（ES规则） 4、存在推广规则（EG规则） 注意：只能对前束范式适用上述规则。 * 第二章 谓词逻辑（Predicate Logic）  2.7谓词演算的推理理论 1. 全称指定规则（ US ）： ?x P(x) ∴P(c) 使用此规则时要注意： （1）x是P(x)中的自由变元； （2）y为任意不在P(x)中约束出现的个体变元； （3） c是论域中的某个任意的客体. 关于（2）的反例： * 第二章 谓词逻辑（Predicate Logic）  2.7谓词演算的推理理论 关于（2）的反例： 设