1离散第10讲 重言式-2.ppt

第10讲 逻辑等价式和逻辑蕴涵式 计算机专业基础课程 -*- 第10讲 逻辑等价式和逻辑蕴涵式 PowerPoint Template_Sub 1 命题与逻辑联结词 2 逻辑等价式和逻辑蕴涵式 3 范式 4 证明技术（补充） 逻辑等价式和逻辑蕴涵式 《离散数学》第10讲 Textbook Page 64 to 68 -*- 第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 表示：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讲 逻辑等价式和逻辑蕴涵式 一些重要的逻辑等价式 E1 ┐┐A ? A 双重否定律 E2 A∨A ? A ， A∧A ? A 幂等律 E3 A∨B ? B∨A，A∧B ? B∧A 交换律 E4 (A∨B)∨C ? A∨(B∨C) 结合律 (A∧B)∧C ? A∧(B∧C) E5 A∧(B∨C) ?(A∧B)∨(A∧C) 分配律 A∨(B∧C) ?(A∨B)∧(A∨C) -*- 第10讲 逻辑等价式和逻辑蕴涵式 一些重要的逻辑等价式 E6 ┐(A∨B) ? ┐A∧┐B De Morgan律 ┐(A∧B) ? ┐A∨┐B E7 A∨(A∧B) ? A 吸收律 A∧(A∨B) ? A E8 A→B ? ┐A∨B 蕴涵表达式 E9 A?B ? (A→B) ∧(B→A) 等值表达式 E10 A∨t ? t ，A∧f ?f 0-1律 A∨f ?A，A∧t ?A 同一律 -*- 第10讲 逻辑等价式和逻辑蕴涵式 一些重要的逻辑等价式 E11 A∨┐A ? t 排中律 E12 A∧┐A ? f 矛盾律 E13 ┐t ? f，┐f ? t E14 A∧B→C ? A→(B→C) 输出律 E15 A→B ? ┐B→┐A 逆反律 E16 (A→B)∧(A→┐B) ? ┐A 归缪律 E17 A?B ?(A∧B)∨(┐A∧┐B) 互否律 -*- 第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