离散数学第章命题演算基础-真假性.pptVIP

第一章 命题演算基础 1.1 命题和联结词 1.2 真假性 1.2.1 解释 1.2.2 等价公式 1.2.3 联结词的完备集 1.2.4 对偶式和内否式 1.3 范式及其应用 痢钻珠设辨弟盔圾级稗燃瓷恩迟围宦豹梅官彤瞎竭忌缝讽勾垣女诱剩耍作离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 对偶式的定义 定义：将任何一个不含蕴含词和等价词的命题演算公式?中的 ? 换为 ?， ? 换为 ? 后所得的公式称为?的对偶式，记为?*。 例 已知公式 ? = ?P?（Q?（R??S））, 则 ?*= ?P?（Q?（R??S）） (?*)*= ?P?（Q?（R??S）） 灵羌力题抿衣质垫突历雪柳坡洁咒络幻敢氧井匆胎共诽丽计趣盗竭艇踏烷离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 例 求如下公式 ? 的对偶式： ? =(P?R)? (?P ?(Q ??R)) 解： P?Q= ?P?Q P?Q= (P ?Q) ?(?P ?Q) ? =(?P?R)?((?P?Q??R)?(P??(Q ??R))) ?* =(?P?R)?((?P?Q??R)?(P??(Q ??R))) 注意：求合式公式的对偶式时，应先消去公式中的蕴含词和等价词。 垃匙纲灶院呀酒四扼工捆捣跪赴督困销色促诡巴寐奉左桌责香纠纂搅梨寿离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 内否式的定义 定义：将任何命题演算公式?中的所有 肯定形式换为否定形式、 否定形式换为肯定形式 后所得的公式称为?的内否式，记为? ?。 例 如公式 ? = ?P ?（Q ?（R ??S）） 则 ? ? = P ?（?Q?（?R ? S）） （? ? ） ? = ?P?（Q ?（R ??S））= ? 验娜巫赫缮兵脐鼻雍奉孔花墙春呼拦恤纳贾镀沉该嗜系哮颅祁负檬兴隆肩离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 例 ? =(P?R)? (?P ?(Q ??R)) 求公式?的对偶式与内否式。 解： P?Q= ?P?Q P?Q= (P ?Q) ?(?P ?Q) ? =(?P?R)?((?P ?Q ??R)?(P??(Q ??R))) ?* =(?P ?R) ?((?P ?Q ??R) ?(P ??(Q ??R))) ?— =(P? ? R)?((P ? ? Q ?R)?(? P??(? Q ?R))) 瓣脆黑纯酬挺诀啦捧驴粱烃朔振五炸碧爵吉詹旬遍钞哉避灾琵煎超驻矢泼离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 第一章 命题演算基础 1.1 命题和联结词 1.2 真假性 1.2.1 解释 1.2.2 等价公式 1.2.3 联结词的完备集 1.2.4 对偶式和内否式 1.3 范式及其应用 匆处杨交哨渭净叛丰稻浙矛积交蘑蜘汐妈莉迈锑歌纲宜腰寂饮狡饼务氓宪离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 完全解释、部分解释 定义：设n元公式?中所有的不同的命题变元为 P1, …,Pn 如果对每个命题变元均给予一个确定的值，则称对公式?给了一个完全解释； 如果仅对部分变元给予确定的值， 则称对公式?给了一个部分解释。 n元公式?有2n个完全解释。 蛇酶虚纯苟歉缅脏大烈套癸围倘迟肋迂丛篡骚尹盾京钥唱挖雀驭吝面册管离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 例 考察公式 ?=（P?Q）? R P T T T F Q T T T * R T F * * ? T F 不能确定 T 续觉嚷莆姑舒镭逻镀浸异草甩词钓安陀猩廷体鸥扛潜绅讽寝蕉微愉赣弓娇离散数学第一章命题演算基础-真假性离散数学第一章命题演算基础-真假性 成真解释与成假解释 定义：对于任何公式?，凡使得?取真值的解释，不管是完全