爱华网文史教 育
逻辑学教材 中若 干定义 的准确性分析
李志国
（ 华北水利水 电学 院 人文艺术教育 中心 ， 河南 郑州 ４ ０ １ ） ５ ０ １ 摘 要： 逻辑 学是一 门基础性 学科 ， 它的一个 重要特 点就是 严谨 ， 但在 ＂前 的部 分逻辑 学教 材 中 ３ －
存在 着个别定义表 达不准确 的现 象 ， 比如关 于假 言推理 、 言 直言推理 、 假 直接 推理 、 当关 系推 理的 对 定义 。这 些不准确 的定义影响 了逻 辑学教 材的科 学性 ， 也会 引起 学生理 解上 的混乱。 关键词 ： 辑学 ； 逻 教材 ； 义； 定 准确性
中图分 类号 ： ８ Ｂ１ 文 献标 识码 ： Ａ 文章编号 ：６ １— ７ １ ２ １ ）４一 ４— ４ １７ ６ ０ （０ １ ０ 叭１ ０
逻辑 学是研 究 思维 形式 结 构及 其规 律 的科 学 ， 它 的一个 重要特点就是逻 辑严 密 、 表述 严谨 。但 是 ， 在 当前 的部分逻辑学教材 中， 个别 定义表 述不 准确 ，
影 响了逻辑学 教材 的科 学性 和 严谨 性 ， 引起 学生 理
推理 ， 广义的假 言推 理一 般 还包 括假 言 易位 推理 和 假 言联 锁推理等 。即使教材 中列举 的有关 推理形 式
都是 狭义 的假言推理 ， 该给予 简单 的介绍 ， 也应 避免
读 者以为教材 中列举 的推理类型 涵盖 了所 有假 言推 理 的类 型 。二是对假言 推理的前 提的数 量表述 不准 确 。“ 一个” 易被 理 解 为 “ 且 只有 一 个 ’ 如 有 容 有 ’ 。
果 该定义是广 义 的假 言推 理 ， 的外 延 未能 包 括假 它
解 上的混乱 ， 使其无所适从 。
一
、
假 言推理 的相关 定义
１假 言推 理 。李 小克 的《 通 逻 辑 学 教程 》 ． 普 认 为 ：假 言推理是 以假言判 断为前 提 的推理 。 但其 “ ” 列举 的推 理 形式 有 ： Ｐ Ｑ）＾Ｐ） Ｑ， Ｐ— Ｑ）八 （— 一 （ Ｑ） 等 等。这些 推 理 的前 提 中或 者有 性 质命 题 ， 一Ｐ 或 者有性质命 题 的 负命 题 。所 以， 定 义是 不准 确 该
的 ， 义项 的外延 小 于被定 义项 的外延 ， 了 “ 义 定 犯 定 过 窄” 的逻辑错误 。
言联锁推理 ， 因为假 言联 锁 推理 的前 提 至少 有 两个 假 言命 题 。这样 的话 ， 定义 就犯 了“ 义过 ” 该 定 的 逻 辑错误 。三是对
假 言推理 的前 提的种 类表述 不 准 确 。如果该定义 是 狭义 的假 言 推理 ， 应该 明确指 出 其 前提之一为 假言 命题 ， 一个 前 提一 般 为直 言命 另 题 或者是直言命题 的否定 。否则 ， 该定 义就会犯 “ 定
义 过宽” 的逻辑错误 。
上海人 民出版社 出版 的《 普通逻辑》 国内较早 是 的具有权威 性 的逻辑 学 教 材 之一 。《 通 逻 辑 》 普 认
为 ，假 言推理是 前提 中有 一个 为假 言命 题 ， “ 并且 根 据假 言命题前 、 后件 之 间 的关 系而 推 出结论 的推理
… …
王汉清 的《 辑 学》 为 ： 仅仅 根 据 假 占命 题 逻 认 “ 的逻辑性质或者说仅仅 根据条件 的逻辑 性质 而推 出 结论 的推理是假 言推理 。 ｌ ｆ 言推理有 多种 ； ， ”４ 限 【 ｝式 ６
一
般分为三种基本形式 ， 这就是假 言直 言推理 、 言 假
假言 推理 也 可 以分为三 种 ， 即充分 条 件假 言推
易位推理和假言联锁推 理” 。陈爱华 的《 逻辑学 引
理 、 要 条 件 假 言 推 理 与 充 分 必 要 条 件 假 言 推 必 理 ” 。较多 的逻辑 学教材采用 ＿类 似 的定 义 ， ｒ 比如
论》 对假 言推理 的定义更 为精确 ： 从广义上 说 ， “ 假
推理可定义 为前提 中至少 有 一个假 言 判 断 ， 且根 并 据 假言判断前后件 之间的逻辑关 系 ｎ进 行推演 的 推 １ ｉ 理 。它包括假言 直言推理 、 假言联 锁推 理 、 言易位 假 推理 、 言 联 言推 理 、 言 选 言 推 理 等 。从 狭 义 假 假
说， 陈树文 的《 逻辑 学基本 原理 》 为 ， 假 言推 理是 认 “ 前提 中有一个 是假 言 判断 ， 并且 根 据假 言 判断 前后 件 之间的关 系而推 出结 论 的推 理 ” 。这 种定 义存 在 三个问题 。一是 没 有 明确这 是狭 义 的假 言 推理 ， 还 是广义 的假言推 理。狭义 的假 言推理 即假 言直言
收 稿 日期 ：０ １ ０ ２ ２ １ — ３— ７
说， 传统逻辑 中的假 言推理仅指假言 卣言推理 。 ”
综上所述 ， 以把广义 的假 言推理 定义 为 ： 是 可 它
作 者简 介 ： 李志 国（９７一） 男 ， 南 南阳人 ， 士 ， 北 水利 水 电 学院人 文 艺 术教 育 中心 讲 师 。 １７ ， 河 硕 华
１４ １
李志 国： 辑学教材 中若干定义 的准 确性分析 逻
文史教育
前 提 中至少 有一 个 假 言命 题 ， 并且 根据 假 言命 题 的
逻辑 性质进行 推演 的复合命题 推理 。
件直 言推 理 。《 普通 逻辑 》 为 ：充 分条 件 假 言推 认 “ 理是 一个前 提 为充 分条 件假 言命题 ， 一 个前 提 和 另 结 论 为性 质命 题
的假 言 推理 。 ¨。 树 文 也 认 为 ： ” 。陈 “ 充分 条件 假言 推理 是一 个前 提为 充分条 件假 言判
断 ， 一 个 前 提 和 结 论 为 性 质 判 断 的 假 言 推 另 理 。 要 条件 假 言 推 理 、 分 必 要 条 件 假 言 推 ”“ 必 充 理 定 义与之 如 出一 辙 。类 似 的定 义在 当前 的逻 辑
２ 假 言直 言推 理 。王 汉 清认 为 ： 由一 个 假 言 ． “
命题和一个直言命题 做为前 提所构成 的假 言推理
是 假言 直 言推 理 ， 称假 言推 理 。 俞 瑾 的《 通 简 ” 普 逻辑 概 要 》 认 为 ： 假 言 推 理 的 前 提 除 有 一 个 是 也 “
假 占判 断外 ， 一 个 通 常 为 直 言 判 断 ， 论 通 常也 另 结 足 直 言 判 断 ， 此 又 被 称 为假 言 直 言 推 理 。 ｌ 这 因 ”８ 两个 定 义基 本一 致 ， 同之处 在 于王汉 清没 有介 绍 不
学 教材 中大 量 存 在 。鉴 于 对 假 言 直 言 推理 定 义 的 分析 ， 笔者认 为 ， 当将 充 分 条件 直 言 推理 的定 义 应 更 改为 ： 它是 前 提 之 一 为 充分 条 件 假 言 命 题 ， 一 另 个 前提 和结 论 包 含充 分 条 件 命题 的前 件 或 后 件 的 假 言直 言推 理 ； 者说 ， 是前 提 之 一 为充 分 条 件 或 它 命 题 ， 一个 前提 和结 论包 含直 言命题 的假 言直 言 另
推 理 ； 可 以进 一 步表 述 为 ， 也 它是 前 提 之 一 为 充 分
假 言直 言推 理 的结论 命题 的种 类 ， 俞瑾 认 为 假 言直 言推 理 的结论 通 常也 是直 言判 断 。事 实 上 ， 他们 的
定义 符合 肯定 式 假 言 直 言 推 理 （ ， 如 肯定 前 件 式 充
分 条件假 言 直 言推 理 和肯 定 后 件 式 必 要 条 件 假 言 直言 推理 等 ）却 不符 合 否定 式假 言直 言推 理 （ ， ， 如 否定 后件 式 充分 条 件 假 言 直 言 推 理 和 否 定 前 件 式
必要 条件 假 言直 言推 理等 ） 。因 为否定 式假 言直 言
条 件命题 ， 一 个 前提 和结 论 包 含 直 言 命题 ， 且 另 并 依 据充 分条 件命 题 的逻 辑 性 质进 行 推 演 的假 言 直
言 推理 。必 要条 件直 言推理 、 分必 要条 件 直言 推 充
推理 的前 提 之一 是条 件命题 ， 另一前 提 和结论 不 是 直言命 题 ， 而是 直 言命 题 的 负命 题 ， 者 说 包 含 了 或
一
理 的定 义可 参 照 充分 条 件 直 言 推理 的定 义 作 相 应
的修改 。
二、 直接 推理 相关 定义
个 直 言 命 题 。所 以 ， 种 定 义 犯 了 “ 义过 窄 ” 这 定
的逻辑错误。尽管俞瑾 的定义 中运用 了“ 通常” 一
词， 没有 明确 表示 假 直 言推 理 的另一 前 提 和结 论
一
１ 直接推 理 。《 通 逻 辑》 为 ： 由一个 性 质 ． 普 认 “ 命题 为前 提 推 出一 个 性 质 命题 为结 论 的推 理 叫做 直 接 推 理 （ 括 对 当 关 系 推 理 和 命 题 变 形 推 包 理 ） ”】魏 凤琴 的《 辑 学》 为 ： 直 接 推理 就是 。ｌ 逻 认 “ 以一个性 质命 题 为前 提 ， 出一个 新 的性 质命 题 的 推
定 是直 言判 断 ， 但这 样表 述仍 然不 够 严密 。
金岳 霖 的《 式 逻辑 》 形 是一 本 权 威 性 的逻 辑 学
教材 ， 中认 为 ： 假 言推理 就 是这样 一 种具 有两 个 书 “ 前 提 的推 理 ， 中一 个前 提 是 假 言 判 断 ， 一 个 前 其 另
提是 这个 假 言判 断 的前 件 （ 其 负 判 断 ） 者 是 这 或 或 个 假 寺判 断 的后 件 （ 其 负判 断 ） …假 言 判 断 有 或 …
三种 ， 高推 理也 相 应 地 有 一种 ， 充 分 条 件 假 言 假 ‘ 即
推理。 ＿ ”ｌ 郭彩琴 的《 逻辑学教程》 认为 ： 根据 一 “
个前 提判 断 直 接得 出结 论 的推 理 称 直 接 推理 。它 的前 提 和结论 都是 简单 判 断 中 的性质 判 断 。 ¨ ” 王
推理 、 要 条 件 假 言 推 理 充 分 必 要 条 件 假 言 推 必
理 。 ｌ 这 一 定 义 实 际上 对 假 言 直 言 推 理 的定 义 ， ”９
汉 清则认 为 ：仅 由一个 命 题 作 为 前 提所 构 成 的 推 “
理 叫做直 接 推理 。 ＿ ”１ 李小 克认 为 ： 以一 个判 断 为 “
并 且 准确 到位 。１ 此 ， 人 ｜ 我们 也 可以把 假 言 直 言推 理 定 义为 ： 它是前 提 之 一 为假 言 命 题 ， 一 个 前提 和 另 结 论包 含 假 言命题 的前什 或后 件 的假 言推理 ； 者 或 蜕 ， 是前 提 之一 为假 言命 题 ， 一 个 前 提 和 结 沦 另 包 含 肓 言命题 的假 言 推 理 ； 可 以进 一 步 表述 为 ， 也
前 提 的推 理 叫做直 接推 理 。 ＿ ”ｌ 俞瑾也 认 为 ： “卣接
推 理是 以 一 个 判 断 为 前 提 推 结 论 的 推 婵 。 ””
“ 接推 理有 多 种 ， 节所 讲 的直 接 推理 仅 限于性 直 本
质 判断 的直 接推理 ” １ ｌ 。《 形式 逻 辑 》 第 ４版 ） （ 认
为根 据 “ 逻辑 方 阵” 中命 题 问 的真假 关 系 ，知 道 一 “
它 是前 提 之一 为假 言命 题 ， 一个 前提 和 结论 包 含 另 直言命 题 ， 且依 据假 言命 题 的逻辑 性 质 进行 推 演 并
的假 古推 理 。 ３ 充分条 件 假 言推 理 。 这 所 说 的 充 分 条 件 ． 假 言推 是指 狭义 的充 分条 件假 言 推 理 ， 即充 分 条
个命题的真假 即呵推知其他三个命题的真假情况 ， 这也 是一 种直 接推 理 ”１ ｌ
。直接 推理 是 “ 以一 个命
题 为前提 而推 出结 论 的推理 ” 。
按照《 普通逻辑》 编写组 、 魏风琴和郭 彩琴 的
观点 ， 直接 推 理 的 前提 和 结 论 都 是性 质命 题 ， 其 但
１ ５ １
李志国： 逻辑学教材 中若干定义的准确 性分析
文史教育
列举 的直接 推 理 的种 概 念—— 对 当关 系推 理 的有
提 的数 量 只有 一 个 ， 且 其 种 类 是 性 质命 题 。 所 并
效形 式 中 ， 大多数 推理 的前 提或结 论是 性 质命 题 的 负命题 ， 只是前提 和结 论 中都包含 性 质命 题 。如对 当关系推 理 中的 Ｓ Ｐ ＊Ｅ Ｓ Ｐ－ＳＰ， 者 的 结 Ａ － Ｓ Ｐ、Ｏ －￣Ａ 前 － 论 和后者 的前 提都是 性质命 题 的负命 题 。可 见 ， 他
们对 直 接 推 理 的 定 义 是 不 准 确 的 ， 了 “ 义 过 犯 定
一
以， 笔者认为 ， 所谓性质命题 的直接推理就是仅以
个 性质 命题 为前 提所构 成 的推 理 ， 其结 论 的种 类 不 限 。性 质命 题 的直 接 推 理包 括性 质 命 题 变 形 直 接 推理 和性 质命 题 的 对 当关 系推 理 。 与性 质 命 题
的直接推理相对应 ， 性质命题间接推理是 以至少两
爪． １ 生质命 题 为前提 所构成 的推 理 ， 三段论 。 如 ３ 对 当关 系推 理 。直 接推 理 、 质命 题 的 直接 ． 性 推理 的定义 的准确 性 ， 影 响对 当关 系推 理 的定 也会
义 的准确 性 。刘 良琼 认 为 ，Ａ、 ， ０ 四种性 质 判 “ Ｅ、、
窄” 的逻辑 错 误 。王汉 清 、 小 克 等 认 为直 接 推 理 李 前 提 的数 量 是 一 个 ， 有 规 定 直 接 推 理 前 提 的 种 没 类 。俞瑾 认 为直接 推理有 多种 ， 其前 提 的种类 不 仅 仅 限于 ｌ 生质命 题 。《 形式 逻辑 》 第 ４版 ） （ 则更 进 一 步 ， 为直接 推理 的前 提和结 论 的种 类 不仅 可 以是 认 简单命 题 ， 可 以是 复 合 命 题 （ 负 命 题 ） 以上 还 如 。 观点 的共 同点 是 直 接 推 理 前 提 的数 量 只 有 一 个 。 笔者认 为 ， 直接 推理 的准 确 定 义是 ， 是仅 以一 个 它
命 题 为前提 所构成 的 推理 ， 前提 和结 论 的种类 不 其 限 。与直接 推理相 对应 ， 间接 推理 是 以至少 有 两个
断之 间的 真 假 关 系 ， 是 对 当关 系直 接 推 理 的依 就 据 。除对 当关 系 中那 些 只能 得 出 ‘ 真假 不 定 ’ 沦 结
的不能纳入这种推理以外 ， 其余的都可以用来进行
这种 推理 ”２ 紧接 着 ， 良琼 列 出 了 ４类 共 １ ＿ 。 刘 ６ 种性 质判 断对 当关 系的直接 推理 。
反对 关系推 理 ：
命题为前提所构成的推理
， 如三段论和混合关系推
理。
（ ） Ｐ 并非 Ｓ Ｐ １ 一 Ｅ （ ）Ｅ ＿并 非 ＳＰ ２ ｓ Ｐ＋ Ａ
矛盾 关 系推理 ：
２ 性质 命题 直接 推 理 。直 接 推 理 定 义 的准 确 ． 性直 接影 响 到性 质命 题 直 接 推 理 定 义 的 准 确 性 。 按 照《 通 逻 辑 》 写组 、 彩 琴 、 凤 琴 的观 点 ， 普 编 郭 魏 直 接推理 的前 提和结 论都 是性质 命题 ， 质命 题 的 性 直接 推理 自然 是 以一个 性 质命 题 为 前 提 推 出一 个 性 质命题 为 结 论 的 推 理 。刘 良琼 的 《 通 逻 辑 基 普 础》 认为 ， 直 接 推 理 是 以一 个 判 断 为 前 提 而 推 出 “ 结论 的推 理 。本 节 只介绍 以一个 性质 判 断 为前提 ，
推 出另一 个性 质判断 为结 论 的直 接推 理 ”２ 包 括 ¨ ， 性 质判 断变形 的直 接推 理 和 性质 判 断对 当关 系 的
（ ） Ｐ 并非 Ｓ Ｐ ３ 一 Ｏ
（ ） Ｅ 一 并非 Ｓ ４５ Ｐ （ ） ，一 并非 Ｓ Ｐ ５ ＳＰ Ｅ
（ ） Ｄ 一并 非 Ｓ Ｐ ６Ｊ 尸 ｓ Ａ
（ ） 非 Ｐ Ｄ ７并 —Ｓ Ｐ （） ８ 并非 Ｓ Ｐ － Ｉ Ｅ － ＳＰ ￣ （） ９ 并非 ＳＰ － Ｅ Ｉ－Ｓ Ｐ － ， （ ０ 并非 Ｓ Ｐ －Ａ １） Ｏ －￣ Ｐ Ｓ 差 等关 系推理 ：
（ １Ｓ Ｐ －Ｉ １ ）Ａ － ＳＰ ＊
（ ２ Ｓ Ｐ－Ｓ Ｐ １ ） Ｅ －￣Ｏ －
直接推理。《 形式逻辑》 第 ４ ） （ 版 认为 ，性质命题 “
的直接推 理 ， 以一 个性 质命题 为前 提 而推 出一 个 即 性 质命 题 的结 论 的直 接 推 理 ” ¨。但 上 述 教 材 列 举 的性 质命 题 直 接 推 理 的种 概 念— — 对 当关 系 推 理 的有 效形 式 中 ， 当一 部推 理 的绪 论是性 质命 题 相
（ ３ 并非 一 并非 Ｓ Ｐ １） Ａ （ ４ 并非 ５ Ｊ １） ＯＰ 一并 非 Ｓ Ｐ Ｅ
下反对 关系 推理 ：
的负命题 ， Ｓ Ｐ －Ｅ 、 —ｓ Ｐ 如 Ａ － Ｓ Ｐ 跗Ｐ Ｄ 。可见 ， ￣ 他们对
性 质命题 直 接推 理 的定 义 也 是不 准 确 的 ， 了 “ 犯 定
（５ 并非 ＳＰ Ｓ Ｐ １） Ｉ￣ Ｏ
（ ６ 并非 Ｓ Ｐ ＋ Ｉ １） Ｏ － ＳＰ
义过窄” 的逻辑错 误。王汉清则认为 ， 如果仅 由 “
一
郭彩琴 认为 ： 对 当关 系 推理 是 根 据 同 素材 性 “ 质判 断 的对 当关 系所进 行 的直 接 推理 。 她 列举 ”
了与刘 良琼 相 同的对 当关 系推理 的有 效形 式 ， 只是
个 言命题作 为前提所构成 的推理就是直言命
提所构 成 的推理 就是直 言命题 的间接推 理 ”ｚ － 。 以上观 点 的共 同点 是性 质 命 题 直 接 推 理 的前
１ ６ １
题 的
直接推 理 ； 由两个及 两个 以上 直言 命题 作 为前
运用 ｒ不 同 的表 述公 式 。值 得注 意 的是 ， 良琼 在 刘 “ 判断 ” 分还 介 绍 了性 质 判断 的 负判 断 及 其 等 负 部
李志 国： 逻辑学教材 中若 干定义的准确性分析
文史教育
值判 断 。他列 举 的等值 判 断有 ：
ｓ ＡＰ— ｓ ｏＰ ｓ ＥＰＨ ｓ Ｐ Ｉ
（４ 、 １ ） （ ６ 。对 当关 系推理 又 可称 为埘 当关 １） （５ 、１ ） 系直 接 推 理 ， 者 称 为 性 质 命 题 之 间 的 对 当关 系 或 （ 接） 理。 直 推
ｓ ｔ ＥＰ ｎ ｓ
Ｓ ｏＰ｝＋ ＡＰ Ｓ
郭彩 琴也 在 “ 负判 断 ” 部分 介 绍 了这 四种 推 理 形 式 。然 而 ， 这些 推理 形式 实 际上 又包 括 了他 们 在
对 当关 系推理 部分 列举 的部 分有 效 推理 形 式 ， 即上 述推 理 形 式 中的 （ ） （ ） ９ （ ０ 。这 些 推 理 形 ７ 、８ （ ） １ ）
需要 注意 的是 ， 质 命 题 的对 当关 系 （ 接 ） 性 直 推理 不 同 于 性 质 命 题 之 间 的对 当关 系 （ 接 ） 直 推 理 。性 质命 题 的对 当关 系 （ 接 ） 直 推理 是 “ 当关 对 系推 理 ” 的种 概念 ， 它属 于性 质命题 推理 ， 其推 理 的 前提 是性 质命题 。而性 质命题 之 问 的对 当关 系 （ 直 接 ） 理 即对 当关 系 推 理 ， 的 前 提 和结 沦既 町以 推 它 是一个 性 质命题 ， 可 以是 一 个 负命 题 （ 一 个性 又 即 质命题 的负命题 ， 者说 是一 个性 质命题 的假 ） 或 。
参考 文献
式既 出现 在简 单 命 题 推 理 章 节 中的性 质 命 题 推 理 部分 ， 出现 在 复合命 题推 理章 节 中 的负命 题 推 理 又 部分 ， 必令 学 生 心生 困惑 ， 清楚 这 些 推 理 究 竟 势 不 足简 命 题推 理还 是 复合命 题 推理 ， 性质 命 题 推 是 理 还 是负 命题 推理 。《 通 辑 》 普 编写 组 认 为 ： 对 “ 当关 系推 理 足 根据 、 ，０之 问 的对 当关 系 从一 、、 个命 题推 出一 个命 题 的推 理 。 ＿ ”２ 且列 出 了除 上 并
述 （ ３ 、 １ ） 外 的 １ 推理 形式 。 １ ） （４ 之 ４种
［¨ ｌ］ １ ６ 李小克． 普通逻辑学教程［ ． Ｍ］ 北京： 首都
经济 贸 易大 学 出版社 ，０ ４ １９ ９ ． ２ ０ ．２ ，３
如前 文所 述 ，普 通逻 辑 》 写 组 、 良琼 和 郭 《 编 刘 彩 琴 都认 为 直接推 理 的 前提和结 论 都是 性 质 命题 。
由于 上 述 推 中 （ ） （ ） （ ） （ 、 ５） （ 、 １ 、 ２ 、 ３ 、 ４） （ 、 ６）
［ 儿 １ ］ １ ［５ 《 ２ ０ ［２ ２ ］ 普通逻辑》 ｊ 编写组
． 普通逻辑
［ ． 海： Ｍ］ 上 上海人 民 出版社 ，０ １４ ４ ，６ ， ２ ０ ．７，７ １５
１ ５． ６
（３ 、１ ） １ ） （４ 的结 沦都 是 复合 命 题 中 的负命 题 ， 理 推
（ ） （ ） （ ） （０ （ ３ 、 １ ） （ ５ 、 １ ） 前 ７ 、８ 、９ 、 １ ）、 １ ） （ ４ 、 １ ） （ ６ 的
［¨ ｌ］ ３ １ 陈树 文． 逻辑 学基 本 原 理 ［ ． 京 ： 方 Ｍ］ 北 北 交通 大 学 出版社 ，０ ３ １５ １６ ２ ０ ．２ ，２ ．
提都足负命题 ， 以， 所 如果对性质命题直 接推理的
定义 是 正确 的 ， 么 ｆ述 推 理 中 只 有 （ １ 和 （ ２ 那 １） １）
［］５ ｌ ］ １ ］２ ］ ４ ［ ［５ ［２ 王汉 清 ． 辑 学 ［ ． 京 ： ｊ７ 逻 Ｍ］ 北
机 械 工 业 出版社 ，０ ３ １９，１ ， ｌ ５ ，０ ２ ０ ．０ １ ０ ｌ０，９ ６ ．
是性质命题的商接推理 。假如他们对对当关系推
的定 义是 正确 的 ， 么对 当关 系 推理 中的一 部 分 那
［ ］ 爱华． 辑 学 引论 ［ ． 京 ： ６陈 逻 Ｍ］ 南 东南 大 学 出版
社 ．０ ４ ９ ２ ０ ． ３—９ ． ４
推理 形式 为仆 么又 出现 在 复 合命 题 的 负 命 题 推 理
部分？
［］ １＿ １］ ８ ［７】 ８ 俞瑾 ． 通逻 辑概要 ［ ． 『 普 Ｍ］ 南京 ： 南京
大 学 出版社 ，０ ４ １７，２ ７ ． ２ ０ ．４ ７ ，２ ［ ］ 岳 霖． 式 逻 辑 ［ ． 京 ： 民 出 版 社 ， ９ 金 形 Ｍ］ 北 人
２０ ０ ３．１ ３． ８
这 』 部教 材 关 于埘 天 系 推 的 定 义 的 描 述 Ｌ
足一 致 的 ， 他们 列举 的对 当关 系 推 的有 效 形 式 仇 却 他 们 埘 忡 质 命 题 直 接 推 理 的 定 义 相 互 矛 盾 。 Ｊ ｊ 既然 负命 题推 理 足 以负命 题为 ｝捉 进 行 的推 理 ， ｊ １ ＝ 『 结 合上 述 关于 直 接 推卵 、 质 命 题 直 接 推 理 的 分 析 ， 性 笔者 认 为 ， 一部 教材 时 质命 题 的亢 接 推 理 和对 这
关 系推 理 的 定 义都 是 不 准 确 的 。对 当关 系 推 理
［３ 魏 凤 琴． 辑 学 ［ ． 京 ： １］ 逻 Ｍ］ 北 中国政 法大 学 出版
社 ， ０ ３ １ ０ ２０ ．２ ．
［４］２ ］ １ ［４ 郭彩 琴 ． 辑 学教 程 ［ ． 京 ： 京 大 逻 Ｍ］ 北 北
学 出版社 ，０ ９ １ １ １ １ ２ ０ ．２ ，２ ． ［ ９ ［ １ 华 东师 范 大 学哲 学 系逻 辑 学教 研 室． １］ ２ ］ 形
是根 据 嗣素材 的性 质 命 题 之 问 的对 当关 系 所 进 行
的商 接 推 理 ， 括 性 质 命 题 的对 当关 系 （ 接 ） 包 直 推
式逻 辑 （ ４版 ） Ｍ］ 上 海 ： 东师 范 大 学 出 第 ［
． 华
版 社 ，０ ９． ５， ． ２ ０ ７ ７１
和 性质 命题 的负命题 推 理 ， 者属 于 简单 命 题 推 前
理， 包括 ｆ述 推 理 形 式 中 的 （ ） （ 、 ３） （ 、 １ 、 ２） （ 、 ４）
［０ ［３ 刘 良琼 ． 通逻 辑 基 础 ［ ． 肥 ： ２ ］２ ］ 普 Ｍ］ 合 安徽 大学 出版 社 ，０ ２ ８ ，２ ２０ ．９９ ． ［ 责任编 辑 许锦云］
（ ） （ ） （ １ 、 １ ）后杵属于复合命题推理 ， ５ 、６ 、１ ） （ ２ ； 包
括 述 推理形 式 中 的 （ ） （ ） （ ） （ ０ 、 １ ） ７ 、８ 、９ 、１） （３ 、
ｌ７ １
百度搜索“爱华网”,专业资料,生活学习,尽在爱华网
