数理逻辑课件 第7节 一阶逻辑自然推理系统.pptVIP

* * */30 推理定律 第一组 命题逻辑推理定律的代换实例 命题逻辑11条推理定律 如：合取消去律 (A?B) ? A 的代换实例 ?xF(x)??yG(y) ? ?xF(x) (合取消去律) 第二组 基本等值式生成的推理定律 每个等值式可产生两个推理定律 (1) 命题逻辑的等值式 (16组24个等值式) (2) 一阶逻辑的等值式 (4组14个等值式) */35 推理定律——遗留问题 第三组 其他常用推理定律 (1) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) (2) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) (3) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) (4) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) */35 主要内容: 自然推理系统NL 及其推理规则 一阶逻辑的归结推理法 第7节 一阶逻辑自然推理系统 */35 自然推理系统NL 定义1 自然推理系统NL 定义如下: 1. 字母表. 同一阶语言L 的字母表 2. 合式公式. 同L 的合式公式的定义 3. 推理规则: (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 合取引入