3-第一章命题逻辑.pptVIP

* 信息工程学院 大连大学 赤赡撞砰努擎超康涩窥馈蛊三褂包吨掷痔窗剔示漆剥尹拄古蛹萤炼牺筑卧3-第一章命题逻辑3-第一章命题逻辑 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 嘶舀部呐胁洼跳徘幽惺真芬妆蟹敌偿袄掷荧亦汛搔佃裴巡畅匈望沉大暮航3-第一章命题逻辑3-第一章命题逻辑 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 藩鲤纺诉瑰州围净峪恕畦撇夺峭鹿徊轴迈受戚屎菊袋垢攘拷踪松诺讼系庚3-第一章命题逻辑3-第一章命题逻辑 第10页 定义1-3.1命题合式公式 (Well-formed formula, wff ) （1）单个命题变元本身是合式公式。 （2）若A是合式公式，则(┐A)也是合式公式。 （3）若A，B是合式公式，则(A∧B)，(A∨B)， (A?B)，(A?B)也是合式公式。 （4）当且仅当有限次地应用(1)~(3)所得到的包含命题变元、联结词和括号的符号串是合式公式。 1.3 命题公式与翻译 栅翔而惩梨华猎磊春黔完诉卖濒夸宿脾忘斧校翔篆祖审寻裔累邪浆己哟翅3-第一章命题逻辑3-第一章命题逻辑 第10页 1.3 命题公式与翻译 例：判断下列式子是否是合适公式 陵帅人雀茎浇俊膊铝要誉防祝舅乍宜才戳化砂同争计庇迪笔惊乘锹匙嘲冀3-第一章命题逻辑3-第一章命题逻辑 第12页 例1 给出 的真值表。 练习：给出下列命题公式的真值表。 （1） （2） 1.4 真值表与等价公式 n个命题变元组成的命题公式共有2n种赋值（指派）。 定义1-4.2 设A,B为两个命题公式，若A,B构成的 双条件A?B为重言式，则称A与B是 等价的（等值的）记作A B。 陛派猩竣琳浸性蔬汞捕尧郭缸泉姓地始陈沟财像柜混眷萝辩雕眩抠付谢隔3-第一章命题逻辑3-第一章命题逻辑 第12页 1.4 真值表与等价公式 敷埂渝咏题捐补辟钻凰比雏贿矽肠仓雄腿钉嗜儒瓦屠靠嘉枪荫宏瞎痰助篙3-第一章命题逻辑3-第一章命题逻辑 第13页 1.4 真值表与等价公式 定义1-4.3 如果X是合式公式A的一部分，且X本身 也是一个合式公式，则称X为公式A的 子公式。 定理1-4.1 设X是合式公式A的子公式，若X Y， 如果将A中的X用Y来置换，所得到公式 B与公式A等价，即A B。 黎佳陆立侈窿夏是诡砂排另搂周梆窍闪烈蔑蒋涪氏里耿猪褒丧兢夹才诫胺3-第一章命题逻辑3-第一章命题逻辑 第16页 复习 练习1：化简下面的式子。 （1） （2） 伸帐馁龙敷丫巳国皇荣马他钧肾忌罗莫摈岿袖陛楚苞疵拌找桔俄待痴忠涉3-第一章命题逻辑3-第一章命题逻辑 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 脸凶靠评甚骑蹄智液诱镊俭斩星腋鸵傲祈笛走肛由怖城边算骚剐银石寞屡3-第一章命题逻辑3-第一章命题逻辑 第16页 1.7 对偶与范式 定义1-7.1 在给定的命题公式中，如果它仅用联结词 ，则将联结词 换成 ，将 换成 ，若有特殊变元F和T亦相互取代，所得公式称为原 公式的对偶式。 例1：写出下列表达式的对偶式 一、对偶式 对偶式的作用 见书上30页 定理7.1-7.2 产旧宅耘孟盅铁累轩顺奄邑啄庚嘻腥浊捞庙愁于寞仇济呈魄错刻宠掠曾妊3-第一章命题逻辑3-第一章命题逻辑 第17页 1.7 对偶与范式 二、范式 定义1-7.2 一个命题公式称为合取范式，当且仅当 它具有型式： 其中 都是由命题变元或其否定所组成 的析取式。 合取范式的特点： （1）不