离散数学教学课件（长安大学）getresource-2.pptVIP

第一章 内容回顾 主要内容 命题、简单命题与复合命题、简单命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化 命题常项、变项，命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 第二章 命题逻辑等值演算 主要内容 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 2.1 等值式 定义2.1 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式 几点说明： 定义中，? 不是联结词，是用来说明等值的一种符号 A或B中可能有哑元出现. 例如 (p?q) ? ((?p?q)?(?r?r)) r为左边公式的哑元. 用真值表可判断两个公式是否等值 请验证： p?(q?r) ? (p?q) ?r p?(q?r) 与 (p?q) ?r 不等值 等值式例题 例1 判断下列各组公式是否等值: 分解为子公式求真值 (1) p?(q?r) 与 (p?q) ?r 等值式例题 (2) p?(q?r) 与 (p?q) ?r 代入规则 用真值表法判断等值式，是最基本的方法，但是如果