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

尚辅网 / 计算机专业基础课程 授课人：王元元 单位：计算机理论教研室 指挥自动化学院计算机系 -*- 第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为永假式，(