第 1 页 共 6 页 数 理 逻 辑 复 习 题 复 习 要 求 ： 掌 握 命 题 、 逻 辑 联 结 词 的 概 念 ； 公 式 与 解 释 的 概 念 ， 用 基 本 等 价 式 化 简 其 他 公 式 ； 会 用 真 值 表 法 和 主 范 式判 断 公 式 的 类 型 ； 公 式 蕴 涵 与 逻 辑 结 果 的 概 念 ； 形 式 演 绎 方 法 .一 阶 逻 辑 的 基 本 概 念 ， 一 阶 逻 辑 公 式 及 其 解 释 ，等 值 演 算 ， 推 理 理 论 ； 一 阶 逻 辑 公 式 的 三 种 类 型 ， 即 逻 辑 有 效 式 （ 永 真 式 ）， 矛 盾 式 和 可 满 足 式 ； 用 联 结 词 产生 复 合 命 题 的 方 法 ； 公 式 在 解 释 下 的 真 值 ； 公 式 范 式 的 概 念 ； 形 式 演 绎 和 蕴 涵 的 关 系 .命 题 逻 辑 与 一 阶 逻 辑 推理 理 论 . 一 、 命 题 逻 辑 部 分 1 、 填 空 题 . ⑴ 公 式 （ p q） （ p q） 的 成 真 赋 值 为 01， 10 . ⑵ 设 p、 r 为 真 命 题 ， q、 s 为 假 命 题 ， 则 复 合 命 题 （ p q） （ r s） 的 真 值 为 0 . ⑶ 设 p、 q 为 命 题 ， 在 p、 q 不 能 同 时 发 生 条 件 下 ， p 与 q 的 排 斥 或 也 可 以 写 成 p 与 q 的 相 容 或 . ⑷ 设 A 为 任 意 公 式 ， B 为 重 言 式 ， 则 A B 的 类 型 是 重 言 式 ⑸ 设 A 是 含 命 题 变 项 p、 q、 r 的 重 言 式 ， 则 公 式 A （（ p q） r） 的 类 型 为 重 言 式 . ⑹ 设 B 是 含 命 题 变 项 p、 q、 r 的 矛 盾 式 ， 则 公 式 B （（ p q） r） 的 类 型 为 矛 盾 式 . ⑺ 矛 盾 式 的 主 析 取 范 式 是 0 . ⑻ 重 言 式 的 主 合 取 范 式 是 1 . ⑼ 设 公 式 A 含 命 题 变 项 p、 q、 r 已知A 主 合 取 范 式 是 M0 M2 M5 M6 ， 则 A 的 主 析 取 范 式 是 . ⑽ 已知公 式 （ q p） p 是 矛 盾 式 ， 则 公 式 （ q...
