第三章(命题逻辑)课件.pptVIP

第三章 命题逻辑 要点 几种基本类型的复合命题 负复合命题的等值命题 几种基本的复合命题推理 第一节 复合命题 要点与难点 复合命题是真值函数 条件关系 几种基本的复合命题 一、判断、语句和命题 判断、语句和命题的联系与区别 命题的真值 二、原子命题和复合命题 原子命题 复合命题 支命题 复合命题是真值函数：复合命题的真值由其支命题的真值唯一确定。 [思考] “原子命题”与“复合命题”这两个概念的关系是 A、 交叉关系 B、 属种关系 C、 矛盾关系 D、 对立关系 答案是D。例如：“老李知道小李病了”既不是原子命题，也不是复合命题。 三、几种基本的复合命题 联言命题 相容 选言命题 不相容 充分条件 假言命题 必要条件 充要条件 负命题 定义 分类 一般形式 日常语言形式 符号形式 逻辑值（真值表） 1= 真；0 = 假 只有p， 才 q = q?p = 如果q，那么p 1∧1 = 1； 1∧0 = 0∧1 = 0∧0 = 0 0? 0 = 0； 1?1 = 0? 1 = 1? 0 = 0 1?0 = 0； 1?1 = 0?1 = 0?0 = 1 1?1 = 0?0 = 1； 1?0 = 0?1 = 0 负复合命题的等值命题 ?（p?q）?（?p??q） ?（p?q）?（?p??q） ?（要么p，要么q）?（（p?q）?（?p??q）） ?（p?q）?（p??q） ?（只有p才q）?（?p?q） ?（p?q）?（（p??q）?（?p?q）） 如果A是B是充分条件，则B是A的必要条件。反之亦然。 “否则”的形式 （除非）A，否则B ＝ 否定A，则B ＝ ?A?B “或”与“则”的等值置换 （p?q）?(?p?q） 四、一般复合命题真值形式 真值联结词：?、∧、∨、→、? 真值形式 一般复合命题的真值形式 真值形式的类型 重言式 矛盾式 （非重言的）可真式 真值形式的判定 真值表方法 第二节 命题推理 要点与难点 推理的形式有效性 几种基本类型的命题推理 一般命题推理及其判定 一、推理概述 什么是推理 证据支持关系 证据支持度 必然性推理与或然性推理 （演绎）推理的形式有效性 推理有效、前提真实与结论真实三者之间的逻辑关系：