离散数学复习资料.docxVIP

失散数学复习资料 失散数学复习资料 PAGE / NUMPAGES 失散数学复习资料 失散数学复习资料 第 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真 相同 . 命 公式、 与解 ，命 公式的分 与判 h 命 公式与 ，命 P 含有 n 个命 P1，P2, ?,P n， P1，P2, ?,P n 各指定一个 真 ，称P 的一个 ( 真 指派 ). 若指定的一 使 P 的真 1， P 的 真指派 ；若使 P 的真 0， 称 称 P 的假指派 . h 命 公式分 ， 在各样 下均 真的命 公式 A，称 重言式 ( 永真式 ) ；在各样 下均 假的命 公式 A，称 矛盾式 ( 永假式 ) ；命 A 不是矛盾式，称 可 足式 ； 判断命 公式 型的方法：其一是 真 表法 ，任 公式，列出 公式的真 表， 若真 表的最后一列全 1， 公式 永真式； 若真 表的最后一列全 0， 公式是永假式； 若真 表的最后一列既非全 1，又非全 0， 公式是可 足式 . 其二是 推 演算法 . 利用基 本等 式 ( 教材的十六个等 式或演算律 ) ， 定公式 行等 推 ， 若 公式的真 1， 公式是永真式；若 公式的真 0， 公式 永假式 . 既非永真，也非用假，成 非永真的可 足式 . 其三主析取 ( 合取 ) 范式法 ， 公式的主析取范式有 2n 个极小 ( 即无极 大 ) ， 公式是 永真式 ； 公式的主合取范式有 2n 个极大 ( 即无极小 ) ， 公式是 永假式； 公式的主析取 ( 或合取 ) 范式的极小 ( 或极大 ) 个数大于 0 小于 2n, ， 公式 是可 足式 . h 等 式 A B，命 公式 A， B 在任何 下，它 的真 均相同，称 A， B 等 。 定理 1 (A) 是含命 公式 A 的命 ， (B) 是用命 公式 B 置 (A) 中的 A 以后 获得的命 公式 . 假如 A B， (A) (B). 4. 范式 析取 ( 合取 ) 范式， 有 有限个 合取式 ( 析取式 ) 构成的析取式 ( 合取式 ) ，就是析取 (合取)范式. h 极小 ( 极大 ) ，n 个命 P1,P 2, ?,P n，每个 或它的否认二者只有 其一出 且 出 一次，第 i 个命 或许其否认出 在从左起第 i 个地点上 ( 无脚 ，按词典 序摆列 ) ， 的 合取式 ( 析取式 ) 极小 ( 极大 ). 以 两 个 命例 ， m00= P Q， m01= P Q