1 第 1 章 命 题 逻 辑 逻 辑 是 研 究 人 的 思 维 的 科 学 ， 包 括 辩 证 逻 辑 和 形 式 逻 辑 。 辩 证 逻 辑 是 研 究 反 映 客 观 世 界辩 证 发 展 过 程 的 人 类 思 维 的 形 态 的 。 形 式 逻 辑 是 研 究 思 维 的 形 式 结 构 和 规 律 的 科 学 ， 它 撇 开具 体 的 、 个 别 的 思 维 内 容 ， 从 形 式 结 构 方 面 研 究 概 念 、 判 断 和 推 理 及 其 正 确 联 系 的 规 律 。 数理 逻 辑 是 用 数 学 方 法 研 究 推 理 的 形 式 结 构 和 推 理 的 规 律 的 数 学 学 科 。所 谓 的 数 学 方 法 也 就 是用 一 套 有 严 格 定 义 的 符 号 ， 即 建 立 一 套 形 式 语 言 来 研 究 。 因 此 数 理 逻 辑 也 称 为 符 号 逻 辑 。 数 理 逻 辑 的 基 础 部 分 是 命 题 逻 辑 和 谓 词 逻 辑 。 本 章 主 要 讲 述 命 题 逻 辑 ， 谓 词 逻 辑 将 在 第2 章 进 行 讨 论 。 1 .1 命 题 及 其 表 示 1 .1 .1 命 题 的 基 本 概 念 数 理 逻 辑 研 究 的 中 心 问 题 是 推 理 （ Inference)， 而 推 理 就 必 然 包 含 前 提 和 结 论 ， 前 提 和结 论 都 是 表 达 判 断 的 陈 述 句 ，因 而 表 达 判 断 的 陈 述 句 就 成 为 推 理 的 基 本 要 素 。在 数 理 逻 辑 中 ，将 能 够 判 断 真 假的 陈 述 句 称 为 命 题 。 因 此 命 题 就 成 为 推 理 的 基 本 单位。 在 命 题 逻 辑 中 ， 对命题 的 组成 部 分 不再进 一 步细分 。 定 义 1 .1 .1 能 够 判 断 真 假的 陈 述 句 称 为 命 题 （ Proposition）。 命 题 的 判 断 结 果称 为 命 题 的真 值， 常用 T(Tru e)（ 或1）表 示 真 ， F(False)（ 或0）表 示 假。 真 值为 真 的 命 题 称 为 真 命 题 ，真 值为 假的 命 题 称 为 假命 题 。 从 上述 的 定 义 可知， 判 定 一 个 句 子是 否为 命 题 要 分 为 两步：一 是 判 定 是 否为 陈 述 句 ， 二是...
