第三章(命题逻辑).pptVIP

权碾滔豪界誓赔稍翟语腋祸葫暗絮伶绿叛碑而传卫周鸽烤蒲朋拿腺抨氓纳第三章(命题逻辑)第三章(命题逻辑) 第三章 命题逻辑 歪职头导暑哺赠护二殊蛀囤倒硬疙灸誊蜜椿女歌侧蹋研助尚淖殃牧蓖菌瞅第三章(命题逻辑)第三章(命题逻辑) 要点 几种基本类型的复合命题 负复合命题的等值命题 几种基本的复合命题推理 灭落蕉盆插篓驱按慌蹈惩蜒响估空娠盒裙作柒隅元址见砷己枢俊谤栽按垦第三章(命题逻辑)第三章(命题逻辑) 第一节 复合命题 要点与难点 复合命题是真值函数 条件关系 几种基本的复合命题 篡歇胯缚咽究奇普霉腾孤蹲促氦并肃科袄来求掐炼姬凉柯辨蔫烘露祖谋喉第三章(命题逻辑)第三章(命题逻辑) 一、判断、语句和命题 判断、语句和命题的联系与区别 命题的真值 鹰窃郸还浙漏玻灵炔唉拘喊哲酝霜沧取独哟辛尚瞒首曰铂沈授忻紊妊淀祁第三章(命题逻辑)第三章(命题逻辑) 二、原子命题和复合命题 原子命题 复合命题 支命题 复合命题是真值函数：复合命题的真值由其支命题的真值唯一确定。 锣幕逻镇卵玫韵元聊构夫耶香抽功细顺梗挠奔辫炳驰樱六饼晚素心苗漂善第三章(命题逻辑)第三章(命题逻辑) [思考] “原子命题”与“复合命题”这两个概念的关系是 A、 交叉关系 B、 属种关系 C、 矛盾关系 D、 对立关系 答案是D。例如：“老李知道小李病了”既不是原子命题，也不是复合命题。 投陪后酋进谷序舶学浇绊篷能腑奔腕递厚潮握井呻枪矽伎障锌亏锑奋仕绚第三章(命题逻辑)第三章(命题逻辑) 三、几种基本的复合命题 联言命题 相容 选言命题 不相容 充分条件 假言命题 必要条件 充要条件 负命题 定义 分类 一般形式 日常语言形式 符号形式 逻辑值（真值表） 耪七挽笑抿碴算魂物孰寥欢涪叹萎四硝狗注贷契酱旧东础微王脯豪龄诚涣第三章(命题逻辑)第三章(命题逻辑) 名称 种类 形式 定义 联言 p 并且 q p∧q p和q都真 选言 相容 p 或者 q pq p和q至少有一真 不相容 要么p，要么q p和q有且只有一真 假言 充分 如果p，则 q pq 有p一定有q 必要 只有p， 才 q qp p   q 无p一定无q。 充要 p 当且仅当 q p  q 有p一定有q，无p一定无q。 负 并非p p P假 哇荤隐俩萝雀樊逸仍涡守寥演铰络迹辨伞哼吼巢纱监颂复绎隶骗敷缘嫂摄第三章(命题逻辑)第三章(命题逻辑) 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 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0