ch5一阶逻辑等值演算与推理.ppt

1 主要内容 ? 一阶逻辑等值式与基本的等值式 ? 置换规则、换名规则、代替规则 ? 前束范式 ? 自然推理系统 N L 及其推理规则 第五章 一阶逻辑等值演算与推理 2 5.1 一阶逻辑等值式与置换规则 定义 5.1 设 A , B 是两个谓词公式 , 如果 A ? B 是永真式 , 则称 A 与 B 等值 , 记作 A ? B , 并称 A ? B 是 等值式 基本等值式 第一组 命题逻辑中 16 组基本等值式的代换实例 例如， ??? xF ( x ) ?? xF ( x ), ? xF ( x ) ?? yG ( y ) ? ?? xF ( x ) ?? yG ( y ) 等 第二组 (1) 消去量词等值式 设 D ={ a 1 , a 2 , … , a n } ① ? xA ( x ) ? A ( a 1 ) ? A ( a 2 ) ? … ? A ( a n ) ② ? xA ( x ) ? A ( a 1 ) ? A ( a 2 ) ? … ? A ( a n ) 3 基本等值式 (2) 量词否定等值式 ① ?? xA ( x ) ? ? x ? A ( x ) ② ?? xA ( x ) ? ? x ? A ( x ) (3) 量词辖域收缩与扩张等值式 . A ( x ) 是含 x 自由出现的公式， B 中不含 x 的自由出现 关于全称量词的： ① ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ② ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ③ ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ④ ? x ( B ? A ( x )) ? B ?? xA ( x ) 4 基本等值式 关于存在量词的： ① ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ② ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ③ ? x ( A ( x ) ? B ) ? ? xA ( x ) ? B ④ ? x ( B ? A ( x )) ? B ?? xA ( x ) (4) 量词分配等值式 ① ? x ( A ( x ) ? B ( x )) ? ? xA ( x ) ?? xB ( x ) ② ? x ( A ( x ) ? B ( x )) ? ? xA ( x ) ?? xB ( x ) 注意： ? 对 ? ， ? 对 ? 无分配律 5 置换规则、换名规则、代替规则 1. 置换规则 设 ? ( A ) 是含 A 的公式 , 那么 , 若 A ? B , 则 ? ( A ) ? ? ( B ). 2. 换名规则 设 A 为一公式，将 A 中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为 A ? ，则 A ?? A . 3. 代替规则 设 A 为一公式，将 A 中某个个体变项的所有自由出现用 A 中 未曾出现过的个体变项符号代替，其余部分不变，设所得 公式为 A ? ，则 A ?? A . 6 实例 例 1 将下面命题用两种形式符号化 , 并证明两者等值 : (1) 没有不犯错误的人 解 令 F ( x ) ： x 是人， G ( x ) ： x 犯错误 . ?? x ( F ( x ) ?? G ( x )) 或 ? x ( F ( x ) ? G ( x )) ?? x ( F ( x ) ?? G ( x )) ? ? x ? ( F ( x ) ?? G (