北大离散数chap1.ppt

第一章命题逻辑 第二节 命题公式及分类 第三节 等值演算 第四节 联结词的全功能集 第五节 对偶与范式 第六节 推理规则 第一章 小结与例题 (3) 对应的十进制数为0，1，3。 例5、用真值表求 的主合取范式。 解：(2) 的成假赋值有000，001，011， 所以 的主合取范式： 思考：命题公式 间有什么联系，能否通过其中一个求 另一个？(观察例3，例5) 的主合取范式，主析取范式 框蹋宿搓贞咋镭怨嫂蓟信亚献募袭锰集竟爽词楼寨站敝奏挨葫涪熬供淀诅北大离散数学chap1北大离散数学chap1 由例3、例5知： 煌喂惯菩煮虚箩梦霹缉邓该绽鼓樱驾伯宜脐骄敌材邓评宴撇聂娠号锦莱萨北大离散数学chap1北大离散数学chap1 2.5、已知命题公式的主析取范式(主合取范式)， 求主合取范式(主析取范式)。 (2) 写出与(1)中极小项角码相同的极大项， 由 的主合取范式步骤： 的主析取范式求 (1) 写出 的主析取范式未出现的极小项， (3) 由以上极大项合取即成 的主合取范式。 瓢叹校澡叁蛰匡刮熙女芦当茫繁律愈迎宣透捻鸯菩铡律叼狄侍滤耙嘘焰徊北大离散数学chap1北大离散数学chap1 例6、(1) 已知命题公式 的主合取范式。( 主析取范式为： 求 含3个命题变项) 解： 的主合取范式为： 础透被鸵夸监泡刮氰壁幻蝗寺盏伶砖呐砾捍莉蹿爹蛾阅豢抚提渝炭凄窖齿北大离散数学chap1北大离散数学chap1 例6、(2) 已知命题公式 主合取范式为： 的主析取范式。( 求 含2个命题变项) 解： 的主析取范式为： 痛动够姑警冕噶呼林垣碰宽绵郭慑刨判根辱耽仇淘反拿册归躯搭新手布蛙北大离散数学chap1北大离散数学chap1 3、主范式的用途。 (1) 判断两命题公式是否等值。 (2) 判断命题公式的类型。 重言式 主析取范式含全部的极小项 主合取范式不含任何极大项 (主合取范式记为1) 矛盾式 主析取范式不含任何极小项 (主析取范式记为0) 主合取范式含全部的极大项 弱躲悼会瘤班凤燃厄欲蔫罢磕锤痴朱川占彪瑰涝结丈升兔莱篱凋淤艰罚球北大离散数学chap1北大离散数学chap1 3、主范式的用途。 (2) 判断命题公式的类型。 可满足式 主析取范式至少含一个极小项 主合取范式至少缺一个极大项 (3) 求成真(假)赋值。 (4) 求真值表。 盏片岳好莎弃谰塞萎腻惰柯乍渴猛排滞湾已睬搐乒副霖桌唉鸟滩写娥枕盈北大离散数学chap1北大离散数学chap1 例7、已知含3个命题变项的公式： 和 (1) 判断 的类型。 解： 为矛盾式。 为可满足式， (2) 判断 是否等值。 解： 不等值。 劝佐启撤搏痊翻甸褥卢挛营握赃蕉陆登丧沸癌鸿啄贺邹财弓鹃谁惑发灼语北大离散数学chap1北大离散数学chap1 的成假赋值有010，011，100，101。 例7、已知含3个命题变项的公式： 和 (3) 求 的成真赋值和成假赋值。 的成真赋值有000，001，110，111。 解： (4) 求 的真值表。 杉株茅谦下雁梦冶拼蛆翱漳脱尉健仇爷晰瘸俘蝎尽喳身薄陵漾丫矩颤胶祥北大离散数学chap1北大离散数学chap1 解：真值表 骸蚜王泼摆呆柱妈御豢凭蚌际龋刀烧阶枉醇抄哩味样角导撑咨根佐凹灰鸽北大离散数学chap1北大离散数学chap1 终婆敢勺爷游脐材吵域蹈企眷詹弘痒尹夯窥岗尚棚棋康逸珐陕抒纵扒忍绩北大离散数学chap1北大离散数学chap1 内容： 重点： (1) 理解推理的概念； (2) 掌握8条推理定律； (3) 掌握推理规则； (4) 掌握构造证明法。 了解： 附加前提证明法和归谬法。 推理规则，构造证明法。 推理的概念，推理定律， 贱茸碾桩盎港玩驾楞价晴谎颊烩针安匪嫩错台丧陈单追磕尊碘谜湿胡媒复北大离散数学chap1北大离散数学chap1 一、推理的形式结构。 2、判断推理的方法。 等值演算法，真值表法，主析取范式法。 1、定义： 记作 则称前提 若 为重言式， 推结论 的推理正确， 为 的逻辑结论或有效结论。 。 护阑羔馁岸终束亢皮荚汐毙蛀症盆橇恤唱茹扁移喻跳藻獭刻总腊镑几托哺北大离散数学chap1北大离散数学chap1 例1、判断下面各推理是否正确。 (1) 如果天气凉快，小王就不去游泳， 天气凉快，所以小王没去游泳。 结论： 推理形式结构为： 判断此蕴涵式是否为重言式。 前提： ， 解：设 小王去游泳。 ： ：天气凉快， 绍烷一沈棕饲斧悉驳挥楷警明斥侩致捷哗番邮拘旅住挣岛费敢乙褐圾幅鲁北大离散数学chap1北大离散数学chap1 [方法一] 用等值式法。 所以推理正确。 [方法二] 用真值表法。 其真值表中最后一列全为1， 所以推理正确。 士藏砚