离散数学 第2版 作者 王元元 离散第10讲 重言式.ppt

第10讲 逻辑等价式和逻辑蕴涵式 计算机专业基础课程 授课人：王元元 单位：计算机理论教研室 指挥自动化学院计算机系 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址： -*- 第10讲 逻辑等价式和逻辑蕴涵式 PowerPoint Template_Sub 1 命题与逻辑联结词 2 逻辑等价式和逻辑蕴涵式 3 范式 4 证明技术（补充） 逻辑等价式和逻辑蕴涵式 《离散数学》第10讲 Page 34 to 38 -*- 第10讲 逻辑等价式和逻辑蕴涵式 内容提要 重言式 重要的逻辑等价式 重要的逻辑蕴含式 代入与替换原理 逻辑等价式和逻辑蕴涵式的证明方法 -*- 第10讲 逻辑等价式和逻辑蕴涵式 重言式 (tautology, 同义反复,重复) 设A为一命题公式 若对A中所有命题变元的任一组指派，A均取真的真值，则称A为重言式或永真式。 若对A中所有命题变元的任一组指派，A均取假的真值，则称A为永假式或不可满足式。 如果至少存在一组指派使A取真的真值，则称A为可满足式(satisfactable formula)。 -*- 第10讲 逻辑等价式和逻辑蕴涵式 重言式的证明 要证明一个公式为永真式（或永假式），列出该公式的真值表，然后看真值表的最后一列。若全为1，则为永真式，若全为0，则为永假式。 证明：p∨┐p为永真式，p∧┐p为永假式，(p∧(p→q))→q为永真式 p ┐p p∧┐p p∨┐p 0 1 0 1 1 0 0 1 p q p → q p ∧(p → q) p ∧(p → q) →q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 -*- 第10讲 逻辑等价式和逻辑蕴涵式 逻辑等价式 (logically equivalent) 当命题公式A?B为永真式时，称A逻辑等价于B，记成A┝┥B蕴涵命题A → B和其逆否命题┐B →┐ A等价： A → B ? ┐B → ┐A为永真式 即： A → B ┝┥ ┐B →┐ A 逻辑等价：使A为真的指派一定使B为真；使A为假的指派一定使B为假。 ?是逻辑联结词，而┝┥不是逻辑联结词，它仅仅是一种记号。A┝┥B表示A?B为永真式。 逻辑等价具有以下性质： 自反性：A┝┥A 对称性：若A┝┥B，则B┝┥A 传递性：若A┝┥B，B┝┥C，则A┝┥C -*- 第10讲 逻辑等价式和逻辑蕴涵式 逻辑等价式的证明 证明：┐(A∨B)┝┥┐A∧┐B A B A∨B ┐(A∨B) ┐A ┐B ┐A∧┐B ┐(A∨B) ? ┐A∧┐B 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1)假设?(┐(A∨B))=1，要证?(┐A∧┐B)=1 得?(A∨B)=0，得?(A)=0且?(B)=0； 从而?(┐A)=1且?(┐B)=1，得到?(┐A∧┐B)=1。 2)假设?(┐(A∨B))=0 ，要证?(┐A∧┐B)=0 得?(A∨B)=1 2.1) ?(A)=1： 得?(┐A)=0，得到?(┐A∧┐B)=0 2.2) ?(B)=1： 得?(┐B)=0，得到?(┐A∧┐B)=0 德摩根律 ┐(A1∨A2)┝┥┐A1∧┐A2 ┐(A1∨A2∨…∨An)┝┥┐A1∧┐A2 ∧…∧┐ An ┐(A1 ∧ A2)┝┥┐A1∨┐A2 ┐(A1∧A2∧… ∧ An)┝┥┐A1∨┐A2 ∨…∨┐ An -*- 第10讲 逻辑等价式和逻辑蕴涵式 问题1 我和他不都是傻子 p:我是傻子 q:他是傻子 我和他都是傻子不成立： ┐(p ∧q) 我不是傻子或者他不是傻子： ┐p ∨ ┐ q p q ┐(p∧q) ┐p ∨ ┐q ┐(p ∧q) ? ┐p∨ ┐q 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 A与B等价是说 A ? B永真 -*- 第10讲 逻辑等价式和逻辑蕴涵式 逻辑等价式的证明 证明： A→B┝┥┐A∨B A B A→B ┐A ┐A∨B A→B ? ┐A∨B 0 0 0 1 1 0 1 1 1)假设?(A→B)=1，要证?(┐A∨B )=1 1.1) ?(A)=0： 得?(┐A)=1，得到?(┐A∨B )=1 1.2) ?(B)=1： 到?(┐A∨B )=0 2)假设?(A→B)=0 ，要证?(┐A∨B )=0 得?(A)=1且?(B)=0； 从而?(┐A)=0，得到?(┐A∨B )=0 。 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 -*- 第1