10命题逻辑习题课教程.pptVIP

;一、 命题及其表示 1.命题 2.命题分类 3.命题变元与常元 二、命题联结词 ;三、命题公式的翻译 　; 1. 将下列命题符号化： (1) 王强身体很好，成绩也很好。 (2) 停机的原因在于语法错误或程序错误。 (3) 如果天下雨，他就乘公共汽车上班。 (4) 只有天下雨，他才乘公共汽车上班。 ;四、真值表 真值表的构造规则：;五、命题公式的类型 1.重言式 2.矛盾式 3.偶然式 六、等价公式 1.等价公式定义 2.等价公式的证明(真值表) ;p;等值演算:;用等值演算法证明:;;七、蕴含公式 证明蕴含公式的方法: ①用真值表法或等价变换(推导)法证明A→B ?1 。 ②通过分析的方法来证明一个条件命题是蕴含式。 Ⅰ 假设前件A为真时, 推出后件B也为真, 则A?B ; Ⅱ假设后件B为假时, 推出前件A也为假, 则A?B 。 ;八、推理理论 1.推理规则 P规则：在推导的任意一步都可以引入一个前提。 T规则：如果公式S等价于或被重言蕴含在一个或多个前提或中间结果命题中，则推导中可以引入S。 CP规则：如果能从R及一组前提推导出C，则可从这组前提推导出R→C。;2.推理定律 ;;3.推理方法 ①直接证明法 利用推理规则和已知的等价式和蕴含式，从前提集合中直接推导出有效结论。 ②间接证明法 ⅰ.间接证明法1 在推导过程中，将结论的否定作为附加前提引入，与前提一起推导出矛盾的结果。 ⅱ.间接证明法2 在推导过程中，把结论的前件作为附加前提引入，然后按直接证明的方法推导出结论的后件。; 推理证明(形式证明)下列各式: (1) ;形式证明（推理）下列论述：;形式证明（推理）下列论述：;; 一、命题逻辑在刑侦推理的应用 [例1] 在一起凶杀案中，公安人员掌握了如下情况： （1）甲或乙是凶手； （2）如果甲是凶手，那么作案地点不在办公室； （3）如果丙的证词真实，则办公室里有枪声； （4）只有作案地点在办公室，丙的证词才不真实。 公安人员因此得出: 如果办公室里无枪声, 那么凶手是乙不是甲。 问：此推理是否有效？ 解：简单命题用符号表示如下： P：甲是凶手 Q：乙是凶手 R：作案地点在办公室 S：丙证词真实 T：办公室里有枪声 ; 前提: S→T,?S→R,P→?R,P∨Q 结论: ?T→?P∧Q 判定如下： （1） ?T 附加前提引入 （2） S→T 前提引入 （3） ?S (1)(2)拒取 （4） ?S→R 前提引入 （5） R (3)(4)假言推理 （6） P→?R 前提引入 （7） ?P (5)(6)拒取 （8） P∨Q 前提引入 （9） Q (7)(8)析取三段论 （10）?P∧Q (7)(9)合取引入 （11）?T→?P∧Q (5)(10)CP规则 这表明，公安人员的推理有效。;[例2] 某侦查员掌握了以下情况： （1）如果A是凶手，则B或C不可能都不是凶手； （2）如果D不是凶手，则B也不可能是凶手； （3）或者C不是凶手，或者D是凶手； （4）只有A是凶手，E才是凶手； （5）E是凶手。 问：由这些情况，可推出什么结论？ 解：简单命题用符合表示如下： p：A是凶手 q：B是凶手 r：C是凶手 s：D是凶手 t：E是凶手 ; 前提: p→(q ∨ r), ?s→?q, ?r∨s, t→p, t 推理如下： （1） t→p 前提引入 （2） t 前提引入 （3） p