离散数学复习资料-（最新版）.pdfVIP

v1.0 可编辑可修改 离散数学复习资料 第 1 章 命题逻辑 本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定 , ( 主 ) 析取 ( 合取 ) 范式，命题逻辑的推理理论 . 一、重点内容 1. 命题 命题表述为具有确定 真假 意义的陈述句。命题必须具备二个条件：其一，语句是 陈述 句 ；其二，语句有 唯一确定的真假 意义 . 2. 六个联结词及真值表 h “ ”否定 联结词， P 是命题， P是 P 的否命题，是由联结词 和命题 P 组成的复 合命题 .P 取真值 1， P 取真值 0 ，P 取真值 0， P 取真值 1. 它是 一元联结词 . h “ ”合取 联结词， P Q 是命题 P，Q 的合取式，是“ ”和 P，Q 组成的复合命题 . “ ”在语句中相当于“ 不但…而且 …”，“既…又…” . P Q 取值 1，当且仅当 P， Q均 取 1；P Q取值为 0，只有 P，Q之一取 0. h “ ”析取 联结词，“ ”不可兼析取 ( 异或 ) 联结词， P Q 是命题 P，Q 的析取 式，是“ ”和 P，Q 组成的复合命题 . P Q是联结词“ ”和 P，Q 组成的复合命题 . 联结词“ ”或“ ”在一个语句中都表示“或”的含义，前者表示相容或，后者表示 排 斥或 不相容 的或 . 即“ P Q” “( P Q) (P Q)”. P Q 取值 1，只要 P，Q 之一 取值 1， P Q 取值 0，只有 P，Q 都取值 0. h “ ”蕴含 联结词， P Q 是“ ”和 P，Q 组成的复合命题，只有 P 取值为 1，Q 取 值为 0 时 ，P Q 取值为 0 ；其余各种情况， 均有 P Q 的真值为 1，亦即 1 0 的真值为 0 ， 0 1， 1 1，0 0 的真值均为 1. 在语句中，“如果 P 则 Q”或“只有 Q，才 P，”表示为 “P Q”. h “ ” 等价联结词 ，P Q 是 P，Q 的等价式， 是 “ ”和 P，Q 组成的复合命题 . “ ” 在语句中相当于“… 当且仅当 …”， P Q 取值 1 当且仅当 P，Q 真值相同 . 3. 命题公式、赋值与解释，命题公式的分类与判别 h 命题公式与赋值，命题 P 含有 n 个命题变项 P1，P2, …,P n ，给 P1 ，P2 , …,P n 各指定一个 真值，称 为对 P 的一个赋值 ( 真值指派 ). 若指定的一组值使 P 的真值为 1，则这组值为 P 的 真指派 ；若使 P 的真值为 0 ，则称这组值称为 P 的假指派 . h 命题公式分类， 在各种赋值下均为真的命题公式 A，称为 重言式 ( 永真式 ) ；在各种赋 值下均为假的命题公式 A，称为 矛盾式 ( 永假式 ) ；命题 A 不是矛盾式，称为 可满足式 ； 判定命题公式类型的方法：其一是 真值表法 ，任给公式，列出该公式的真值表， 若真值 1 v1.0 可编辑