苏XI友无密码课件 敌纶1章 命题逻辑.ppt

;绪论;绪论;绪论;绪论;绪论;绪论;绪论;绪论;绪论;第一部分 数理逻辑（Mathematical Logic);第一部分 数理逻辑（Mathematical Logic);第一部分 数理逻辑（Mathematical Logic);第一部分 数理逻辑（Mathematical Logic);第一章 命题逻辑;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§1 命题符号化及联结词;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§2 命题公式与赋值;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;§3 等值演算;;§3 等值演算;§4 联结词全功能集;§4 联结词全功能集;§4 联结词全功能集;§4 联结词全功能集;§4 联结词全功能集;§4 联结词全功能集;§4 联结词全功能集;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§5 范式;§6 推理理论;§6 推理理论;§6 推理理论;§6 推理理论;Exp.2 判断下面推理是否正确. 若a能被4整除, 则a能被2整除. a能被2整除. 所以a能被4整除. 解: 设p:a能被4整除, q:a能被2整除. 前提：A1:p→q, A2:q. 结论：B:p. 判断推理是否正确, 即判断推理的形式结构 (p→q)∧q→p. 是否为重言式.;(1)用等值演算法. (p→q)∧q→p ?(?p∨q)∧q→p ?q→p. 显然, 01是其成假赋值, 故(p→q)∧q→p不是重言 式, 所以该推理不正确. (2)主析取范式法. (p→q)∧q→p?q→p ??q∨p?p∨?q ?M1?m0∨m2∨m3 ??(0,2,3). (p→q)∧q→p主析取范式只包含部分极小项, 从而 它不是重言式, 所以该推理不正确.;重要的推理定律(基本永真蕴涵式)有以下8条： (1)A?A∨B； 附(添)加规则(析取词引入规则) (2)A∧B?A； 化简(简化)规则(合取词消去规则) (3)(A→B)∧A?B； 假言推理(分离规则) (4)(A→B)∧?B??A 拒取式(否定后件式) (5)(A∨B)∧?A?B； 析取三段论 (6)(A→B)∧(B→C)?A→C； 假言三段论 (7)(A?B)∧(B?C)?A?C； 等价三段论 (8)(A→B)∧(C→D)∧(A∨C)?B∨D. 构造性二难;§6 推理理论;Exp.3 构造下面推理的证明. 前提：p→r, q→s, p∨q. 结论:s∨r. 证明：①p∨q 前提引入 ②?p→q ①置换 ③q→s 前提引入 ④?p→s ②③假言三段论 ⑤?s→p ④置换 ⑥p→r 前提引入 ⑦?s→r ⑤⑥假言三段论 ⑧s∨r ⑦置换;§6 推理理论;§6 推理理论;§6 推理理论;6 推理理论;6 推理理论; ;Exp.7 试由前提p→(q→r), ?s∨p, q推出结论s→r. 证明: ①s 附加前提引入 ②?s∨p