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