1、选言推理百科名片选言推理是根据选言命题的逻辑性质而进行的推理。选言命题有相容与不相容之分，相应地，选言推理分为相容选言推理和不相容选言推理两种。 目录隐藏相容选言推理 不相容选言推理 不相容选言推理编 辑 本 段 相 容 选 言 推 理相 容 选 言 推 理 就 是 以 相 容 选 言 命 题 为 前 提 ， 根 据 相 容 选 言 命 题 的 逻 辑 性 质 进 行 的 推理 。 相 容 选 言 推 理 有 两 条 规 则 ： 规 则 1： 否 定 一 部 分 选 言 支 ， 就 要 肯 定 另 一 部 分 选 言 支 。 规 则 2： 肯 定 一 部 分 选 言 支 ， 不 能 否 定 另
2、 一 部 分 选 言 支 。 根 据 规 则 ， 相 容 选 言 推 理 只 有 一 个 正 确 的 形 式 ， 即 否 定 肯 定 式 ： p 或 者 q 非 p _ 所 以 ， q 或 者 p 或 者 q 非 q _ 所 以 ， p 例 如 ： 1. 金 敏 是 教 师 或 者 是 律 师 ， 她 不 是 教 师 ， 所 以 ， 她 是 律 师 。 （ 正 ） 2. 金 敏 是 教 师 或 者 是 律 师 ， 她 是 教 师 ， 所 以 ， 她 不 是 律 师 。 （ 误 ） 例 1 符 合 相 容 选 言 推 理 的 规 则 “否 定 一 部 分 选 言 支 ， 就 要 肯 定 另 一
3、部 分 选 言 支 ”，所 以 ， 这 一 推 理 是 正 确 的 ； 例 2 违 反 了 相 容 选 言 推 理 的 规 则 ， 是 不 正 确 的 。 因 为 相 容选 言 命 题 的 选 言 支 “金 敏 是 教 师 ”和 “金 敏 是 律 师 ”可 以 同 时 是 真 ， 因 此 ， 肯 定 “金 敏 是 教师 ”， 不 能 否 定 “金 敏 是 律 师 ”。 编 辑 本 段 不 相 容 选 言 推 理不 相 容 选 言 推 理 就 是 以 不 相 容 选 言 命 题 为 前 提 ， 根 据 不 相 容 选 言 命 题 的 逻 辑 性 质 进行 的 推 理 。 不 相 容 选 言 推
4、理 有 两 条 规 则 ： 规 则 1： 否 定 一 部 分 选 言 支 ， 就 要 肯 定 另 一 部 分 选 言 支 。 规 则 2： 肯 定 一 部 分 选 言 支 ， 就 要 否 定 另 一 部 分 选 言 支 。 根 据 规 则 ， 不 相 容 选 言 推 理 有 两 个 正 确 的 形 式 ： （ 1） 否 定 肯 定 式 要 么 p， 要 么 q 非 p _ 所 以 ， q （ 2） 肯 定 否 定 式 要 么 p， 要 么 q p _ 所 以 ， 非 q 例 如 ： 1. 要 么 小 李 得 冠 军 ， 要 么 小 王 得 冠 军 ； 小 李 没 有 得 冠 军 ， 所 以 ，
5、 小 王 得 冠 军 。 2. 要 么 去 桂 林 旅 游 ， 要 么 去 海 南 旅 游 ； 去 桂 林 旅 游 ， 所 以 ， 不 去 海 南 旅 游 。 例 1 是 不 相 容 选 言 推 理 的 否 定 肯 定 式 ； 例 2 是 不 相 容 选 言 推 理 的 肯 定 否 定 式 ， 这两 个 推 理 都 是 符 合 推 理 规 则 的 ， 所 以 ， 都 是 正 确 的 。 编 辑 本 段 不 相 容 选 言 推 理不 相 容 选 言 推 理 就 是 以 不 相 容 选 言 命 题 为 前 提 ， 根 据 不 相 容 选 言 命 题 的 逻 辑 性 质 进行 的 推 理 。 不 相
6、 容 选 言 推 理 有 两 条 规 则 ： 规 则 1： 否 定 一 部 分 选 言 支 ， 就 要 肯 定 另 一 部 分 选 言 支 。 规 则 2： 肯 定 一 部 分 选 言 支 ， 就 要 否 定 另 一 部 分 选 言 支 。 根 据 规 则 ， 不 相 容 选 言 推 理 有 两 个 正 确 的 形 式 ： （ 1） 否 定 肯 定 式 要 么 p， 要 么 q 非 p _ 所 以 ， q （ 2） 肯 定 否 定 式 要 么 p， 要 么 q p _ 所 以 ， 非 q 例 如 ： 1. 要 么 小 李 得 冠 军 ， 要 么 小 王 得 冠 军 ； 小 李 没 有 得 冠
7、军 ， 所 以 ， 小 王 得 冠 军 。 2. 要 么 去 桂 林 旅 游 ， 要 么 去 海 南 旅 游 ； 去 桂 林 旅 游 ， 所 以 ， 不 去 海 南 旅 游 。 例 1 是 不 相 容 选 言 推 理 的 否 定 肯 定 式 ； 例 2 是 不 相 容 选 言 推 理 的 肯 定 否 定 式 ， 这两 个 推 理 都 是 符 合 推 理 规 则 的 ， 所 以 ， 都 是 正 确 的 。假言推理百科名片假言推理是根据假言命题的逻辑性质进行的推理。分为充分条件假言推理，必要条件假言推理和充分必要条件假言推理三种。 目录隐藏充分条件假言推理 必要条件假言推理 充分必要条件假言推理编
8、 辑 本 段 充 分 条 件 假 言 推 理充 分 条 件 假 言 推 理 是 根 据 充 分 条 件 假 言 命 题 的 逻 辑 性 质 进 行 的 推 理 。 充 分 条 件 假 言 推 理 有 两 条 规 则 ： 规 则 1： 肯 定 前 件 ， 就 要 肯 定 后 件 ； 否 定 前 件 ， 不 能 否 定 后 件 。 规 则 2： 否 定 后 件 ， 就 要 否 定 前 件 ； 肯 定 后 件 ， 不 能 肯 定 前 件 。 根 据 规 则 ， 充 分 条 件 假 言 推 理 有 两 个 正 确 的 形 式 ： （ 1） 肯 定 前 件 式 如 果 p， 那 么 q p _ 所 以
9、， q （ 2） 否 定 后 件 式 如 果 p， 那 么 q 非 q _ 所 以 ， 非 p 例 如 ： 1. 如 果 谁 骄 傲 自 满 ， 那 么 他 就 要 落 后 ； 小 张 骄 傲 自 满 ， 所 以 ， 小 张 必 定 要 落 后 。 2. 如 果 谁 得 了 肺 炎 ， 他 就 一 定 要 发 烧 ； 小 李 没 发 烧 ， 所 以 ， 小 李 没 患 肺 炎 。 例 1 和 例 2 都 是 充 分 条 件 假 言 推 理 ， 前 者 是 肯 定 前 件 式 ； 后 者 是 否 定 后 件 式 。 这两 个 推 理 都 符 合 推 理 规 则 ， 所 以 ， 都 是 正 确 的
10、 。 根 据 规 则 ， 充 分 条 件 假 言 推 理 的 否 定 前 件 式 和 肯 定 后 件 式 都 是 无 效 的 。 例 如 ： 3. 如 果 降 落 的 物 体 不 受 外 力 的 影 响 ， 那 么 ， 它 不 会 改 变 降 落 的 方 向 ； 这 个 物 体 受到 了 外 力 的 影 响 ， 所 以 ， 它 会 改 变 降 落 的 方 向 。 4. 如 果 赵 某 是 走 私 犯 ， 那 么 ， 他 应 受 法 律 制 裁 ； 经 查 明 ， 赵 某 确 实 受 到 了 法 律 制裁 ， 所 以 ， 赵 某 是 走 私 犯 。 例 3 和 例 4 都 是 不 正 确 的 充
11、 分 条 件 假 言 推 理 ， 因 为 例 3 违 反 了 “否 定 前 件 ， 不 能否 定 后 件 ”的 规 则 ； 例 4 违 反 了 “肯 定 后 件 ， 不 能 肯 定 前 件 ”的 规 则 。 编 辑 本 段 必 要 条 件 假 言 推 理必 要 条 件 假 言 推 理 是 根 据 必 要 条 件 假 言 命 题 的 逻 辑 性 质 进 行 的 推 理 。 必 要 条 件 假 言 推 理 有 两 条 规 则 ： 规 则 1： 否 定 前 件 ， 就 要 否 定 后 件 ； 肯 定 前 件 ， 不 能 肯 定 后 件 。 规 则 2： 肯 定 后 件 ， 就 要 肯 定 前 件 ；
12、 否 定 后 件 ， 不 能 否 定 前 件 。 根 据 规 则 ， 必 要 条 件 假 言 推 理 有 两 个 正 确 的 形 式 ： （ 1） 否 定 前 件 式 只 有 p， 才 q 非 p _ 所 以 ， 非 q （ 2） 肯 定 后 件 式 只 有 p， 才 q q _ 所 以 ， p 例 如 ： 1. 只 有 年 满 十 八 岁 ， 才 有 选 举 权 ； 小 周 不 到 十 八 岁 ， 所 以 ， 小 周 没 有 选 举 权 。 2. 只 有 选 用 优 良 品 种 ， 小 麦 才 能 丰 收 ； 小 麦 丰 收 了 ， 所 以 ， 这 块 麦 田 选 用 了 优 良品 种 。
13、例 1 和 例 2 都 是 必 要 条 件 假 言 推 理 ， 前 者 是 否 定 前 件 式 ； 后 者 是 肯 定 后 件 式 。 这两 个 推 理 都 符 合 推 理 规 则 ， 所 以 ， 都 是 正 确 的 。 根 据 规 则 ， 必 要 条 件 假 言 推 理 的 肯 定 前 件 式 和 否 定 后 件 式 都 是 无 效 的 。 例 如 ： 3. 只 有 有 作 案 动 机 ， 才 会 是 案 犯 ； 某 人 确 有 作 案 动 机 ， 所 以 ， 某 人 定 是 案 犯 。 4. 只 有 学 习 成 绩 优 良 ， 才 能 做 三 好 学 生 ； 小 吴 不 是 三 好 学 生
14、 ， 所 以 ， 小 吴 学 习 成绩 不 是 优 良 。 例 3 和 例 4 都 是 不 正 确 的 必 要 条 件 假 言 推 理 ， 因 为 例 3 违 反 了 “肯 定 前 件 ， 不 能肯 定 后 件 ”的 规 则 ； 例 4 违 反 了 “否 定 后 件 ， 不 能 否 定 前 件 ”的 规 则 。 编 辑 本 段 充 分 必 要 条 件 假 言 推 理充 分 必 要 条 件 假 言 推 理 是 根 据 充 分 必 要 条 件 假 言 命 题 的 逻 辑 性 质 进 行 的 推 理 。 充 分 必 要 条 件 假 言 推 理 有 两 条 规 则 ： 规 则 1： 肯 定 前 件 ，
15、 就 要 肯 定 后 件 ； 肯 定 后 件 ， 就 要 肯 定 前 件 。 规 则 2： 否 定 前 件 ， 就 要 否 定 后 件 ； 否 定 后 件 ， 就 要 否 定 前 件 。 根 据 规 则 ， 充 分 必 要 条 件 假 言 推 理 有 四 个 正 确 的 形 式 ： （ 1） 肯 定 前 件 式 p 当 且 仅 当 q p _ 所 以 ， q （ 2） 肯 定 后 件 式 p 当 且 仅 当 q q _ 所 以 ， p （ 3） 否 定 前 件 式 p 当 且 仅 当 q 非 p _ 所 以 ， 非 q （ 4） 否 定 后 件 式 p 当 且 仅 当 q 非 q _ 所 以
16、， 非 p 例 如 ： 1. 一 个 数 是 偶 数 当 且 仅 当 它 能 被 2 整 除 ； 这 个 数 是 偶 数 ， 所 以 ， 这 个 数 能 被 2整 除 。 2. 一 个 数 是 偶 数 当 且 仅 当 它 能 被 2 整 除 ； 这 个 数 能 被 2 整 除 ， 所 以 ， 这 个 数 是偶 数 。 3. 一 个 数 是 偶 数 当 且 仅 当 它 能 被 2 整 除 ； 这 个 数 不 是 偶 数 ， 所 以 ， 这 个 数 不 能 被2 整 除 。 4. 一 个 数 是 偶 数 当 且 仅 当 它 能 被 2 整 除 ； 这 个 数 不 能 被 2 整 除 ， 所 以 ，
17、 这 个 数不 是 偶 数 。 例 1 到 例 4 分 别 是 以 上 充 分 必 要 条 件 假 言 推 理 的 四 个 正 确 的 推 理 式 。联言推理 目录隐藏定义 合成式 分解式编 辑 本 段 定 义联 言 推 理 是 根 据 联 言 命 题 的 逻 辑 性 质 而 进 行 的 推 理 。 它 有 两 种 形 式 ： 合 成 式 和 分解 式 。 编 辑 本 段 合 成 式根 据 联 言 命 题 在 其 联 言 支 都 真 时 才 为 真 的 逻 辑 性 质 ， 可 以 给 出 如 下 的 联 言 推 理 有 效式 ， 即 合 成 式 ： p q _ 所 以 ， p 并 且 q 例
18、如 ： 每 次 科 学 发 现 都 给 科 学 知 识 增 加 了 新 的 内 容 ； 每 次 科 学 发 现 都 使 人 了 解 到 自 然 界 更 多 的 方 面 ； _ 所 以 ， 每 次 科 学 发 现 都 给 科 学 知 识 增 加 了 新 的 内 容 ， 并 且 都 使 人 了 解 到 自 然 界 更 多 的 方 面 。 科 技 工 作 者 要 学 习 现 代 科 学 ； 政 治 工 作 者 要 学 习 现 代 科 学 ； _ 所 以 ， 无 论 是 科 技 工 作 者 还 是 政 治 工 作 者 都 要 学 习 现 代 科 学 。 这 就 是 联 言 推 理 合 成 式 。 编 辑 本 段 分 解 式根 据 联 言 命 题 真 ， 则 其 中 各 联 言 支 都 真 的 逻 辑 性 质 ， 从 一 个 联 言 命 题 ， 可 以 推 出 其任 一 联 言 支 ， 这 就 是 分 解 式 。 它 可 以 表 示 为 ： p 并 且 q _ 所 以 ， p 或 者 p 并 且 q _ 所 以 ， q 例 如 ： 兵 不 在 多 而 在 于 精 ， _ 所 以 ， 兵 在 于 精 。 言 者 无 罪 ， 闻 者 足 戒 ； _ 所 以 ， 言 者 无 罪 。 这 就 是 联 言 推 理 分 解 式 。
