10 理会释题保姆级教程——线性归结法，看一遍就会

这说念题看起来符号好多很吓东说念主，其实就干一件事：找矛盾。底下我一步一步带着你走，保证你看完就会作念。

一、先看题目长什么样

题目给了 4 个公式，临了让你解释它们能推出论断 B。

这 4 个公式里有一堆符号：∀（通盘）、∃（存在）、→（要是...那么）、∧（且）、∨（或）、¬（非）。

别慌！这些符号仅仅"包装纸"，隔绝看等于东说念主话。

二、作念题就两步

不论题目多复杂，归结法解释题就只须两步：

第一步：翻译——把题目里的公式翻译成"子句"（一种按序才调）

第二步：消消乐——像玩消消乐相通，两个子句里一正一反的配抵消掉，直到消出"矛盾"

底下一步一步来。

三、第一步：翻译（写子句集）

张开剩余90%

翻译规则（记着这 3 条就够了）

规则 1："要是 P 那么 Q" 酿成 "非P 或 Q"

比如："要是下雨那么地湿" 酿成 "不下雨 或 地湿"

规则 2："存在一个 x" 用一个具体的名字代替

比如题目说"存在某个 x"，咱们就用字母 a 来代表它。

规则 3："存在一个 y，但 y 随着 x 变" 用一个函数代替

比如用 f(x) 暗示"随着 x 变化的阿谁 y"。

运转翻译

翻译 A1

原公式：对通盘 x，(D(x) 且 非E(x)) → 存在 y，(F(x，y) 且 H(y))

第 1 小步：消掉"要是...那么..."

→ 酿成"非...或..."

赢得：对通盘 x，非(D(x) 且 非E(x)) 或 存在 y，(F(x，y) 且 H(y))

第 2 小步：把"非(A 且 B)"隔绝

→ 酿成"非A 或 B"

赢得：对通盘 x，(非D(x) 或 E(x)) 或 存在 y，(F(x，y) 且 H(y))

第 3 小步：惩处"存在 y"

→ y 随着 x 变，用 f(x) 代替 y

→ 把"且"隔绝，酿成两个孤独句子

赢得两个子句：

子句 1：非D(x) 或 E(x) 或 F(x， f(x))

子句 2：非D(x) 或 E(x) 或 H(f(x))

翻译 A2

原公式：存在 x，D(x) 且 G(x) 且 对通盘 y，(F(x，y) → G(y))

第 1 小步："存在 x"用 a 代替

第 2 小步：把"要是...那么..."消掉

→ F(x，y) → G(y) 酿成 非F(x，真钱三公棋牌游戏官方网站y) 或 G(y)

第 3 小步：把"且"隔绝

赢得三个子句：

子句 3：D(a)

子句 4：G(a)

子句 5：非F(a， y) 或 G(y)

翻译 A3

原公式：对通盘 x，非E(x) 或 非G(x)

→ 仍是是子句了，无谓翻译

子句 6：非E(x) 或 非G(x)

翻译论断的辩说

论断 B：存在 x，H(x) 且 G(x)

咱们要假定论断是错的，是以对 B 取反：

→ 对通盘 x，不是(H(x) 且 G(x))

→ 用德摩根隔绝：对通盘 x，非H(x) 或 非G(x)

子句 7：非H(z) 或 非G(z)

7 个子句总览（写在这，背面要用）

编号 子句 那边来的1 非D(x) 或 E(x) 或 F(x， f(x)) A1

2 非D(x) 或 E(x) 或 H(f(x)) A1

3 D(a) A2

4 G(a) A2

5 非F(a， y) 或 G(y) A2

6 非E(x) 或 非G(x) A3

7 非H(z) 或 非G(z) 论断取反

四、第二步：消消乐（归结推理）

消消乐的规则（超毛糙）

找两个子句：

一个内部有 P

另一个内部有 非P

把它们消掉，剩下的实践拼起来，等于一个新子句。

就像解方程：x + 3 = 5 和 -x + 2 = 1，把 x 和 -x 消掉。

运转消！

咱们从子句 7（论断的反面）运转，一步步消：

第 1 步

子句 7： 非H(z) 或 非G(z)

子句 2： 非D(x) 或 E(x) 或 H(f(x))

找配对：子句 7 有"非H"，澳门在线(赌钱)娱乐网子句 2 有"H"。消掉！

让 z = f(x)，剩下的拼起来：

→ 赢得：非D(x) 或 E(x) 或 非G(f(x))

第 2 步

上一步赢得： 非D(x) 或 E(x) 或 非G(f(x))

子句 6： 非E(x) 或 非G(x)

找配对：一个有"E(x)"，一个有"非E(x)"。消掉！

剩下的拼起来：

→ 赢得：非D(x) 或 非G(f(x)) 或 非G(x)

第 3 步

上一步赢得： 非D(x) 或 非G(f(x)) 或 非G(x)

子句 3： D(a)

找配对：一个有"非D"，一个有"D"。消掉！

让 x = a，剩下的拼起来：

→ 赢得：非G(f(a)) 或 非G(a)

第 4 步

上一步赢得： 非G(f(a)) 或 非G(a)

子句 4： G(a)

找配对：一个有"非G(a)"，一个有"G(a)"。消掉！

剩下的：

→ 赢得：非G(f(a))

第 5 步

上一步赢得： 非G(f(a))

子句 5： 非F(a， y) 或 G(y)

找配对：一个有"非G"，一个有"G"。消掉！

让 y = f(a)，剩下的：

→ 赢得：非F(a， f(a))

第 6 步

上一步赢得： 非F(a， f(a))

子句 1： 非D(x) 或 E(x) 或 F(x， f(x))

找配对：一个有"非F"，一个有"F"。消掉！

让 x = a（此时 f(x) = f(a)），剩下的：

→ 赢得：非D(a) 或 E(a)

第 7 步

上一步赢得： 非D(a) 或 E(a)

子句 3： D(a)

找配对：一个有"非D(a)"，一个有"D(a)"。消掉！

剩下的：

→ 赢得：E(a)

第 8 步

上一步赢得： E(a)

子句 6： 非E(x) 或 非G(x)

找配对：一个有"E(a)"，一个有"非E"。消掉！

让 x = a，剩下的：

→ 赢得：非G(a)

第 9 步

上一步赢得： 非G(a)

子句 4： G(a)

找配对：一个有"非G(a)"，一个有"G(a)"。消掉！

什么齐没了 = 矛盾！

五、写谜底（磨真金不怕火就这样写）

解释：

假定论断不修复，即 ¬B：对通盘 z，非H(z) 或 非G(z)

将前提化为子句集：

(1) 非D(x)∨E(x)∨F(x，f(x))

(2) 非D(x)∨E(x)∨H(f(x))

(3) D(a)

(4) G(a)

(5) 非F(a，y)∨G(y)

(6) 非E(x)∨非G(x)

(7) 非H(z)∨非G(z) （¬B）

归结流程：

(8) 非D(x)∨E(x)∨非G(f(x)) （(7)(2) 归结，消 H）

(9) 非D(x)∨非G(f(x))∨非G(x) （(8)(6) 归结，消 E）

(10) 非G(f(a))∨非G(a) （(9)(3) 归结，消 D）

(11) 非G(f(a)) （(10)(4) 归结，消 G(a)）

(12) 非F(a，f(a)) （(11)(5) 归结，消 G）

(13) 非D(a)∨E(a) （(12)(1) 归结，消 F）

(14) E(a) （(13)(3) 归结，消 D(a)）

(15) 非G(a) （(14)(6) 归结，消 E）

(16) NIL（空子句） （(15)(4) 归结，消 G(a)）

推出矛盾，假定不修复，原命题得证。证毕。

六、记着一句话

归结法 = 翻译 + 消消乐 + 推出矛盾 = 证结束。

磨真金不怕火时就写：先写 7 个子句，再写 9 步归结，临了写"推出矛盾，证毕"。10 分得手。

有不会的题径直发给我，我来给你拆解。

和蔼我赌钱娱乐平台，每天用大口语证据晰 AI 的中枢见地和考题。

发布于：上海市开云体育·(KAIYUN SPORTS)官方网站

• 赌钱娱乐平台
• 李慧
• 保姆
• 实体
• 教程