05一阶逻辑等值演算及推理.pptVIP

第5章 一阶逻辑等值演算与推理;本章说明;本章主要内容 ;5.1 一阶逻辑等值式与置换规则;等值式的定义;一阶逻辑中的一些基本而重要等值式;代换实例;消去量词等值式;量词否定等值式;量词辖域收缩与扩张等值式;证明: ?xA(x)→B ? ?x(A(x)→B);量词分配等值式;一阶逻辑等值演算的三条原则;例5.1;例5.1的解答;例5.2;例5.2;例5.3—消去量词;例5.3—消去量词;例5.4;例5.4的解答;例5.4的解答;例5.5;例5.5的证明;例5.5的证明;例5.5的证明;5.2 一阶逻辑前束范式;前束范式存在定理;例5.6 求公式的前束范式;例5.6 求公式的前束范式;例5.7 求前束范式;例5.8 求公式的前束范式;例5.8 求公式的前束范式;5.3 一阶逻辑的推理理论;推理定律的来源;命题逻辑推理定律的代换实例;由基本等值式生成的推理定律;其他推理定律;推理规则;全称量词消去规则(简记为UI规则或UI);全称量词消去规则(简记为UI规则或UI);全称量词引入规则(简记为UG规则或UG);存在量词引入规则(简称EG规则或EG) ;存在量词消去规则(简记为EI规则或EI) ;定义5.3 自然推理系统定义;例题;例5.9;例5.10;例5.10说明;例5.11;例5.11证明;例5.12;例5.12证明;本章主要内容;学习要求;第一部分 数理逻辑 例题选讲;5.求命题公式 (p→q)∧(q→r) 的主合取范式，再用主合取范式求主析取范式 解： (p→q)∧(q→r) ?(┐p∨q)∧(┐q∨r) ?(┐p∧(┐q∨r))∨(q∧(┐q∨r)) ?(┐p∧┐q)∨(┐p∧r)∨(q∧┐q)∨(q∧r)) ?(┐p∧┐q)∨(┐p∧r)∨(q∧r) ?(┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧r) ∨(┐p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r);?(┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(┐p∧q∧r)∨(p∧q∧r) ?m0∨m1∨m3∨m7 由主析取范式和主合取范式之间的关系，所以公式的主合 取范式为：(p→q)∧(q→r) ?M2∧M4∧M5∧M6;6.在自然推理系统F中构造下面推理的证明： 前提：(p∨q)→(r∧s), (s∨t)→u?? 结论：p→u 证明：①p 附加前提引入 ②p∨q ①附加律 ③(p∨q)→(r∧s) 前提引入 ④r∧s ②③假言推理 ⑤s ④化简 ⑥s∨t ⑤附加 ⑦(s∨t)→u 前提引入 ⑧ u ⑥⑦假言推理 ;7.在自然推理系统F中，证明下面推理： 前提：q→p, qs, st, t∧r 结论：p∧q 证明：(1) st 前提引入 (2) (s→t)∧(t→s) (1)置换 (3) t→s (2)化简 (4) t∧r 前提引入 (5) t (4)化简 (6) s (3)(5)假言推理 ; (7) qs 前提引入 (8) (s→q)∧(q→s) (7)置换 (9) s→q (8)化简 (10)q (6)(9)假言推理 (11) q→p 前提引入 (12) p (10)(11)假言推理 (13) p∧q (10)(12)合取 ;8.在自然推理系统F中构造下面的推理证明： 前提：?x(F(x)→G(a)∧R(x))), ?xF(x) 结论：?x（F(x)∧R(x)） 证明：① ?xF(x) 前提引入 ② F(c) ① EI) ③ ?x(F(x)→(G(a)∧R(x))) 前提引入 ④ F(c)→(G(a)