第二章一阶谓词逻辑（数理逻辑）

最新推荐文章于 2022-09-16 23:02:39 发布

xxatz

最新推荐文章于 2022-09-16 23:02:39 发布

阅读量1.4k

点赞数 3

分类专栏：计算机菜鸡之离散数学文章标签：数学矩阵

本文链接：https://blog.csdn.net/xxayt/article/details/121385800

版权

计算机菜鸡之离散数学专栏收录该内容

11 篇文章 2 订阅

订阅专栏

文章目录

第二章一阶谓词逻辑 Predicate Logic

第二章一阶谓词逻辑 Predicate Logic

引入：命题逻辑是数理逻辑的基础，但原子命题不可再分，便无法研究命题内部的逻辑特征(例：共同性，差异性)。

2.1 量词和谓词

谓词 Quantifier：将基本命题分成客体(个体)和谓词。
- 客体：描述的对象
- 谓词：描述的个体性质(特征)或关系
- 谓词元数：谓词联系的个体数目
- 个体域(论域) $D$ ：客体构成的非空集合
- $n$ 元谓词( $n$ 元命题函数)：客体变元 $x_1,x_2,...,x_n$ 定义在 $D^n$ (非空个体域)上取值为 ${0,1\}$ 的 $n$ 元函数。其中，客体变元定义域为 $D$ ，谓词值域为 ${0,1\}$
  
  注意：
  1. 谓词中客体变元有一定次序，不能随意变更。
  2. 当客体为变元 $x$ 时，不能判断谓词真假，此时谓词称为谓词填式；只有为具体客体时，才能判断谓词真假。
- 谓词与命题的关系： $0$ 元谓词 $\iff$ 命题。
  - 命题是谓词的特殊情况：将 $n$ 元谓词中的客体都用具体客体取代后，就成为命题( $0$ 元谓词)。例： $\text{ is true}$
  - 谓词是命题的扩充
量词 Predicate： $x$ 为作用变量
1. 全称量词 Universal Quantifier： $(\forall x)$
2. 存在量词 Existential Quantifier： $(\exist x)$
3. 唯一性量词 Uniqueness Quantifier： $\exist!x P(x)$
  
  注意：对于个体域需要特殊注明(用括号)，不同个体域会影响谓词结果。
全总个体域 E：将各种个体域综合在一起作为论述范围的域
- 特性谓词：刻划每一个句子中客体变量的变化范围
- 特性谓词在命题函数中的原则：
  1. $(\forall x)(P(x)\longrightarrow Q)$ ：刻划全称量词的对应个体域的特性谓词作为 蕴涵 ( $\longrightarrow$ )的前件 加入
  2. $(\exist x)(P(x)\land Q)$ ：刻划存在量词的对应个体域的特性谓词作为 合取式的合取项( $\land$ ) 加入
- $\color{White}\colorbox{Fuchsia}{例题}$ ：符号化语句
  1. 每个实数都存在比它大的另外的实数
    
    解： $R (x) : x$ 是实数； $L (x, y) : x$ 小于 $y$ .
    
    ${\color{red}(\forall x)}\left(R(x){\color{red}\longrightarrow}{\color{blue}(\exist y)}\left(R(y){\color{blue}\land} L(x,y)\right)\right)$
  2. 尽管有人很聪明，但未必一切人都聪明
    
    解： $M (x) : x$ 是人； $C (x) : x$ 很聪明.
    
    ${\color{blue}(\exist x)}\left(M(x){\color{blue}\land}C(x)\right)\land \neg{\color{red}(\forall x)}\left(M(x){\color{red}\rightarrow} C(x)\right)$
  3. 对于任意给定的 $\xi>0$ ，必存在着 $\delta>0$ ，使得对任意的 $x$ ，只要 $|x-a|<\delta$ ，就有 $|f(x)-f(a)|<\xi$ 成立
    
    解：
    ${\color{red}(\forall \xi)}((\xi>0){\color{red}\longrightarrow} {\color{blue}(\exist \delta)}((\delta>0){\color{blue}\land}((|x-a|<\delta)\longrightarrow (|f(x)-f(a)|<\xi))))$
自由变元与约束变元 Free Variables & Binding Variables：

在带量词的谓词表达式中， $x$ 为指导(作用)变元， $A (x)$ 为对应量词的辖域(作用域)。
- 定义：辖域中 $x$ 的出现称为在公式 $A$ 中的约束出现，此时变元 $x$ 称为约束变元； $A$ 中不是约束出现的变元为自由变元。
  
  例： ${\color{red}约束变元}VS{\color{blue}自由变元}$
  $\forall x\forall y(P({\color{red}x},{\color{red}y})\land Q({\color{red}y},{\color{blue}z}))\land \exist xP({\color{red}x},{\color{blue}y})$
- 规则：为避免概念混乱（同一个变元既是约束又是自由）
  1. 约束变元的换名：将辖域内量词限定的约束变元改为有别其他所有的变量名。
  2. 自由变元的代入：将整个公式中每一处该自由变元代为新的个体变元。
- 说明：
  - 多个量词出现，按照从左到右的顺序理解
  - 量词次序不同，公式含义不同
  $\color{White}\colorbox{Fuchsia}{例题}$ ： $I (x)$ 表示 $x$ 是整数， $Q (x, y)$ 表示 $x + y = 0$ ，则
  $(\forall x)(I(x)\longrightarrow (\exist y)(I(y)\land Q(x,y))) \text{ “对任意的整数x，都存在着整数y，使得x+y=0" is true.}\\ (\exist x)(\forall y)(I(x)\land(I(y)\longrightarrow Q(x,y))) \text{ “存在着整数x，使得对任意的整数y，都有x+y=0" is false.}$

2.2 谓词公式与解释

零、四类符号：
1. 常量： $a, b, c$
2. 变量： $x, y, z$
3. 函数： $f(x_1,x_2,...,x_n),g(x_1,x_2,...,x_n),h(x_1,x_2,...,x_n)$
  
  不含变元的函数 $f$ 是常数.
4. 谓词： $P(x_1,x_2,...,x_n),Q(x_1,x_2,...,x_n),R(x_1,x_2,...,x_n)$
  
  不含客体变元的谓词 $P$ 是命题.
一、谓词的合适公式:
- 项：常量，变量或函数递归产生的符号串。例： $x_1 \checkmark,f(x_1,x_2,...,x_n) \checkmark,f(g(f(a),g(a,x)))\checkmark$
- 原子谓词公式： $x_i$ 是项的n元谓词 $P(x_1,x_2,...,x_n)$ ，简称原子公式。
- 合适公式：无语法错误的公式。主要包含三种，
  1. 原子公式
  2. 合适公式的逻辑表达： $\neg P,P\bigvee Q,P\bigwedge Q,P\rightarrow Q,P\leftrightarrow Q$
  3. 带量词的合适公式： $(\forall x)P,(\exist x)P$
  常见语法错误：括号不匹配，量词无辖域
二、公式的解释：
- 公式的解释(指派) $I$ ：对于常量标识符赋予一个元素；对于函数标识符指定一个具体的函数(不同的变量值对应特定的函数值)；对于谓词标识符指定一个具体命题函数( $1\;or\;0$ )。
- 含有量词的公式解释：需根据量词的逻辑意义决定公式的值，设论域 $D=\{a_1,a_2,...,a_n \}$
  1. $(\forall x)P(x)\iff P(a_1)\bigwedge P(a_2)\bigwedge...\bigwedge P(a_n)$
  2. $(\exist x)P(x)\iff P(a_1)\bigvee P(a_2)\bigvee...\bigvee P(a_n)$
- $\color{White}\colorbox{Fuchsia}{例题}$ ：判断公式 $(\exist x)(\forall y)(P(x,y)\rightarrow Q(x,y))$ 在解释 $\begin{cases}个体域为 N(非负整数)\\P(x,y)指定为：x+y=0\\Q(x,y)指定为：x>y \end{cases}$ 下的真值（answer is true）
  
  解：
  $\because \forall x\in N,\forall y\in N,“x+y=0”\text{ is false.}\\ \therefore 无论后件如何, “P(x,y)\longrightarrow Q(x,y)”\text{ is true.}\\$
  
  此解释下命题：存在非负整数 $x$ ，使得对于任意非负整数 $y$ ，若 $x + y = 0$ ，则 $x > y$ .
- 特殊公式：
  1. 永真式(重言式)：公式 $A$ 在论域 $D$ 下的任一解释都为真。
  2. 永假式(矛盾式,不可满足式)：公式 $A$ 在论域 $D$ 下的任一解释都为假。
  3. 可满足式：公式 $A$ 在论域 $D$ 下的某一解释为真。（故包含永真式）

2.3谓词公式的等价与范式表示

一、谓词公式等价：
- 定义：论域为 $D$ 的谓词公式 $A, B$ 在任一情况下值相同（同真同假），记为 $A\iff B$
- 定理： $A\iff B$ 等价于 $A\longleftrightarrow B$ 是 $D$ 上的永真式。

二、演算的基本等价式：

$\color{white}\colorbox{red}{Star}$ 量词否定(量词转换)：

$\neg(\forall x)P(x)\iff (\exist x)(\neg P(X))$	并非所有 = 有些不是
$\neg(\exist x)P(x)\iff (\forall x)(\neg P(X))$	不存在 = 所有都不

推广——多个量词： $\neg(\exist x)(\forall y)(\forall z)P(x,y,z)\iff (\forall x)(\exist y)(\exist z)\neg P(x,y,z)$

$\color{white}\colorbox{red}{Star}$ 量词辖域的收缩与扩充：设谓词公式 $Q$ 不含指导变元

$(\forall x)[P(x)\land Q]\iff (\forall x)P(x)\land Q$	$(\forall x)[P(x)\lor Q]\iff (\forall x)P(x)\lor Q$
$(\exist x)[P(x)\land Q]\iff (\exist x)P(x)\land Q$	$(\exist x)[P(x)\lor Q]\iff (\exist x)P(x)\lor Q$
$\color{red}(\forall x)[P(x)\longrightarrow Q]\iff (\exist x)P(x)\longrightarrow Q$	$\color{red}(\exist x)[P(x)\longrightarrow Q]\iff (\forall x)P(x)\longrightarrow Q$
$(\forall x)[Q\longrightarrow P(x)]\iff Q\longrightarrow (\forall x)P(x)$	$(\exist x)[Q\longrightarrow P(x)]\iff Q\longrightarrow (\exist x)P(x)$

证明：
$\begin{aligned}(\forall x)[P(x)\longrightarrow Q]&\iff (\forall x)[\neg P(x)\lor Q]\\ &\iff (\forall x)[\neg P(x)]\lor Q\\ &\iff \neg(\exist x)P(x)\lor Q \\ &\iff (\exist x)P(x)\longrightarrow Q \end{aligned}$

特定辖域问题：

$(\forall x)[P(x)\land Q(x)]\iff (\forall x)P(X)\land (\forall x)Q(x)$	$(\exist x)[P(x)\lor Q(x)]\iff (\exist x)P(X)\lor (\exist x)Q(x)$
$\color{red}(\forall x)(\forall y)[P(x)\lor Q(y)]\iff (\forall x)P(x)\lor (\forall x)Q(x)$	$\color{red}(\exist x)(\exist y)[P(x)\land Q(y)]\iff (\exist x)P(x)\land (\exist x)Q(x)$
$(\exist x)[P(x)\longrightarrow Q(x)]\iff (\forall x)P(x)\longrightarrow (\exist x)Q(x)$	/

解释说明：

$(\forall x)(\forall y)[P(x)\lor Q(y)]\iff (\forall x)P(x)\lor (\forall x)Q(x)$

教室中每个人在听课或者看书 = 教室中每个听课的在听课，每个看书的人在看书
$(\exist x)(\exist y)[P(x)\land Q(y)]\iff (\exist x)P(x)\land (\exist x)Q(x)$

教室中有些人在听课，有些人在看书 = 教室中有些听课的人在听课，有些看书的人在看书

双量词公式的等价性：同性质的量词可交换顺序

$(\forall x)(\forall y)A(x,y)\iff (\forall y)(\forall x)A(x,y)$	$(\exist x)(\exist y)A(x,y)\iff (\exist y)(\exist x)A(x,y)$

三、前束范式：
- 形式： $A=(Q_1x_1)(Q_2x_2)...(Q_nx_n)G$ ，其中 $Q_ix_i$ 为量词， $G$ 为不含量词的公式，则称 $A$ 为前束范式， $G$ 为母式。
- 前束合取(析取)范式：母式 $G$ 是合取(析取)范式
- 定理2.6：每一个含量词的谓词公式都可==等价转换==为前束范式。
- 任意谓词公式转换为前束范式的过程：
  - $\color{red}\bigodot$ 1.改 $\rightarrow,\longleftrightarrow$ 为 $\neg,\land,\lor$
  - $\color{red}\bigodot$ 2.利用量词否定等价或德摩根定律，改 $\neg$ 到公式前
  - $\color{red}\bigodot$ 3.利用约束变元的改名和自由变元的代入，改重名
  - $\color{red}\bigodot$ 4.利用量词收缩与扩充等价，改量词到全式前
- $\color{White}\colorbox{Fuchsia}{例题}$ ：修改公式 $((\forall x)P(x)\lor(\exist y)R(y))\longrightarrow (\forall x)F(x)$
  $\begin{aligned}((\forall x)P(x)\lor(\exist y)R(y))\longrightarrow (\forall x)F(x)&\iff {\color{red}\neg}((\forall x)P(x)\lor(\exist y)R(y)){\color{red}\lor}(\forall x)F(x) \\ &\iff ((\exist x){\color{red}\neg}P(x){\color{red}\land}(\forall y){\color{red}\neg}R(y))\lor(\forall x)F(x) \\ &\iff ((\exist x)\neg P(x)\land(\forall y)\neg R(y))\lor(\forall {\color{red}z})F({\color{red}z}) \\ &\iff {\color{red}(\exist x)(\forall y)(\forall z)}(\neg P(x)\land\neg R(y))\lor F(z) \\ &\iff (\exist x)(\forall y)(\forall z)(\neg P(x)\lor F(z))\land(\neg R(y)\lor F(z)) \end{aligned}$
四、斯柯林(Skolem)范式：
- 定义：不含存在量词的前束合取范式
- 前束范式转换为斯柯林范式的过程：(不是等价变化)
  
  不断重复从左到右查找存在量词( $Q_ix_i$ )
  - $\color{red}\bigodot$ 1.若第一个量词 $Q_1x_1$ 为存在量词 $\exist x_1$ ，用一个新的常量标识符代替所有出现的 $x_1$ ，再删除 $Q_1x_1$ .
  - $\color{red}\bigodot$ 2.否则用一个新的函数标识符 $g(x_1,x_2,...,x_{i-1})$ 代替所有出现的 $x_i$ ，再删除 $Q_ix_i$ .
- $\color{White}\colorbox{Fuchsia}{例题}$ ：求公式 $\exist x\forall y\forall z\exist u\forall v\exist w P(x,y,z,u,v,w)$ 的Skolem范式
  $\begin{aligned}\exist x\;\forall y\;\forall z\;\exist u\;\forall v\;\exist w\; &P(x,y,z,u,v,w)\\ \forall y\;\forall z\;\exist u\;\forall v\;\exist w \;&P({\color{red}a},y,z,u,v,w)\\ \forall y\;\forall z\;\forall v\;\exist w\; &P(a,y,z,{\color{red}f(y,z)},v,w)\\ \forall y\;\forall z\;\forall v \;&P(a,y,z,f(y,z),v,{\color{red}g(y,z,v)})\end{aligned}$
- 定理：若公式 $A$ 的Skolem范式为 $S$ ，则 $A$ 为矛盾式 $\iff S$ 为矛盾式。（注意： $A$ 与 $S$ 并不等价）

2.4 谓词公式的蕴涵

一、谓词公式的蕴涵：
- 定义2.16： $A$ 为真时， $B$ 也为真，则称 $A$ 蕴涵 $B$ ，记作 $A\Longrightarrow B$ .
- 定理2.8： $(A\Longrightarrow B) \iff (A\longrightarrow B$ 是永真式）。

二、蕴含定律：

I11： $(\forall x)P(x)\lor(\forall x)Q(x)\Longrightarrow (\forall x)(P(x)\lor Q(x))$	I12： $(\exist x)(P(x)\land Q(x))\Longrightarrow (\exist x)P(x)\land(\exist x)Q(x)$
I13： $(\forall x)(P(x)\longrightarrow Q(x))\Longrightarrow (\forall x)P(x)\longrightarrow(\forall x)Q(x)$	I14： $(\exist x)P(x)\longrightarrow({\color{red}\forall x})Q(x)\Longrightarrow (\forall x)(P(x)\longrightarrow Q(x))$
I15： $(\forall x)(P(x)\longleftrightarrow Q(x))\Longrightarrow (\forall x)P(x)\longleftrightarrow(\forall x)Q(x)$	—

区分 I12： $\color{red}(\exist x)P(x)\land (\exist x)Q(x)\iff (\exist x)(\exist y)[P(x)\land Q(y)]$ ，不同的 $x, y$ .

证明 I14：
$\begin{aligned}(\exist x)P(x)\longrightarrow(\forall x)Q(x) \iff& \neg (\exist x)P(x)\lor(\forall x)Q(x)\\ \iff& (\forall x)\neg P(x)\lor(\forall x)Q(x)\\ {\color{red}\Longrightarrow}& (\forall x)(\neg P(x)\lor Q(x))\\ \iff&(\forall x)(P(x)\longrightarrow Q(x))\end{aligned}$

三、两个量词的蕴涵式：

I16,17： $\forall x\forall yP(x,y)\Longrightarrow \exist y\forall xP(x,y)$	I18,19： $\exist x\forall yP(x,y)\Longrightarrow \forall y\exist xP(x,y)$
I20,21： $\forall x\exist yP(x,y)\Longrightarrow \exist y\exist xP(x,y)$	I22,23： $\forall x\forall yP(x,y)\Longrightarrow \exist x\exist yP(x,y)$

在这里插入图片描述

2.5 谓词逻辑的推理

零、推理演算过程：
1. 消去量词
2. 无量词时，当作命题逻辑推理
3. 引入量词
一、量词的推理规则：
1. US规则(全称指定规则/全称量词消去规则)：每一个均成立，则其中任一个也必成立。显式变隐式
  $\color{red}(\forall x)G(x)\Longrightarrow G(y). \\ \color{red}(\forall x)G(x)\Longrightarrow G(c).$
  注意：
  1. $y$ 是任意的不受 $G (x)$ 约束的个体变项
  2. $c$ 为任意个体变项
2. UG规则(全称推广规则/全称量词附加规则)：隐式变显式
  $\color{red}G(y)\Longrightarrow (\forall x)G(x).$
  注意：
  1. $y$ 在 $G (x)$ 中自由出现，并且 $y$ 取任意 $y\in D$ 时， $G (y)$ 均为真
  2. 取代 $y$ 的 $x$ 不能在 $G (y)$ 中出现
  3. US规则不是UG规则的逆命题：US规则中 $y$ 是“某一个”，而UG规则中的 $y$ 是“每一个”。
3. ES规则(存在指定规则/存在量词消去规则)：
  $\color{red}(\exist x)G(x)\Longrightarrow G(a).$
  注意：
  1. $a$ 是使 $G (x)$ 为真的特定的个体常项
  2. $a$ 不曾在 $G (x)$ 中出现过
  3. $G (x)$ 中除 $x$ 外，还有其他自由变项时，不可用此规则
4. EG规则(存在推广规则/存在量词附加规则)：
  $\color{red}G(c)\Longrightarrow (\exist x)G(x).$
  
  注意：
  1. $c$ 是某个个体常项
  2. 取代 $c$ 的 $x$ 不能在 $G (x)$ 中出现过
二、推理方法：直接证明法， $C P$ 规则证明法，反证法
- $\color{White}\colorbox{Fuchsia}{例题1}$ ：证明苏格拉底三段论：人都是要死的，苏格拉底是人，所以苏格拉底是要死的
  
  证：
  
  设谓词Man(x)： $x$ 是人；Mortal(x)： $x$ 是要死的；客体 $s$ ：苏格拉底。
  
  则论断符号化为： $(\forall x)[Man(x) \longrightarrow Mortal(x)]\land Man(s)\Longrightarrow Mortal(s)$
  
  直接证明法：
  $\begin{aligned}&(1)&&(\forall x)[Man(x) \longrightarrow Mortal(x)] &&P\\ &(2)&&Man(s) \longrightarrow Mortal(s)&& US(1)\\ &(3)&&Man(s)&&P\\ &(4)&&Mortal(s)&&T(2),(3) \end{aligned}$
- $\color{White}\colorbox{Fuchsia}{例题2}$ ：证明 $(\forall x)(C(x)\rightarrow W(x)\land R(x))\land (\exist x)(C(x)\land Q(x))\Longrightarrow (\exist x)(Q(x)\land R(x))$
  
  证：
  
  注意：使用前提时，尽量先用存在前提。因为存在特定个体成立便对任意前提的个体均成立，反之不然。
  
  $\begin{aligned} &(1)&& (\exist x)(C(x)\land Q(x)) &&P\\ &(2)&& C(a)\land Q(a) && ES(1)\\ &(3)&& (\forall x)(C(x)\rightarrow W(x)\land R(x)) && P\\ &(4)&& C(a)\rightarrow W(a)\land R(a) && US(3)\\ &(5)&& C(a) && T,(2),I_2\\ &(6)&& W(a)\land R(a) && T,(4),(5),I_3\\ &(7)&& R(a) && T,(6),I_2\\ &(8)&& Q(a) && T,(2),I_2\\ &(9)&& Q(a)\land R(a) && T,(7),(8),I_1\\ &(10)&& (\exist x)(Q(x)\land R(x)) && EG,(9)\\ \end{aligned}$
- $\color{White}\colorbox{Fuchsia}{例题3}$ ：有些病人相信所有的医生，而病人均不相信江湖骗子。试证明医生不是骗子。
  
  证：设 $P (x) : x$ 是病人； $D (x) : x$ 是医生； $S (x) : x$ 是江湖骗子； $L (x, y) : x$ 相信 $y$ 。
  
  则论断符号化为： $(\exist x)[P(x)\land (\forall y)(D(y) \rightarrow L(x,y))]\land (\forall x)[P(x)\rightarrow (\forall y)(S(y)\rightarrow \neg L(x,y))]\Longrightarrow (\forall x)(D(x)\rightarrow \neg S(x))$
  $\begin{aligned} &(1)&& (\exist x)[P(x)\land (\forall y)(D(y) \rightarrow L(x,y))] &&P\\ &(2)&& P(a)\land (\forall y)(D(y) \rightarrow L(a,y)) &&ES,(1)\\ &(3)&& (\forall y)(D(y) \rightarrow L(a,y)) &&T,(2),I_2\\ &(4)&& D(t) \rightarrow L(a,t) && US,(3)\\ &(5)&& (\forall x)[P(x)\rightarrow (\forall y)(S(y)\rightarrow \neg L(x,y))] && P\\ &(6)&& P(a)\rightarrow (\forall y)(S(y)\rightarrow \neg L(a,y)) && US,(5)\\ &(7)&& P(a) && T,(2),I_2\\ &(8)&& (\forall y)(S(y)\rightarrow \neg L(a,y)) && T,(6),(7),I_3\\ &(9)&& S(t)\rightarrow \neg L(a,t) && US,(8)\\ &(10)&& L(a,t)\rightarrow \neg S(t) && T,(9),E_{22}\\ &(11)&& D(t)\rightarrow \neg S(t) && T,(4),(10),I_6\\ &(12)&&(\forall x)(D(x)\rightarrow \neg S(x)) && UG,(11) \end{aligned}$
三、消解(归结)法：
- 证明 $G_1,G_2,...,G_n\Longrightarrow H$ 过程：
  - $\color{red}\bigodot$ 1.根据反证法，要证明 $\{G_1,G_2,...,G_n,\neg H\}$ 矛盾
  - $\color{red}\bigodot$ 2.建立子句集：将 $G$ 化成前束范式，再化成 Skolem 范式 $G^*$ （可保持不可满足性不变）。将 $G^*$ 全称量词省略，将合取母式的 $\land$ 代替为 $“, ”$ 得到子句集 $S$ 。
  - $\color{red}\bigodot$ 3.对句集 $S$ 重复做归结直到出现空子句。
    
    归结原理：设 $L_1,L_2$ 分别是两个无共同变元的子句 $C_1,C_2$ 中的句节。若 $L_1,\neg L_2$ 一致，则 $(C_1-\{L_1\})\bigcup(C_2-\{L_2\}))$ 为 $C_1,C_2$ 的归结式。（合一置换 ${a/x\}$ ）
    
    例： $C_1=P(x)\lor Q(x),C_2=\neg P(a)\lor R(y)$ ，有归结式 $R(C_1,C_2)=Q(a)\lor R(y)$
- $\color{White}\colorbox{Fuchsia}{例题4}$ ：利用消解法证明，前提有 $(\forall x)[P(x)\rightarrow (\forall y)(Q(y)\rightarrow \neg R(x,y))],(\exist x)[P(x)\land (\forall y)(S(y)\rightarrow R(x,y))]$ ，结论为 $(\forall x)(S(x)\rightarrow \neg Q(x))$
  
  证：
  
  首先写为 Skolem 范式
  $\begin{aligned} &(\forall x)[P(x)\rightarrow (\forall y)(Q(y)\rightarrow \neg R(x,y))]{\color{red}\land} (\exist x)[P(x)\land (\forall y)(S(y)\rightarrow R(x,y))]{\color{red}\land} \neg (\forall x)(S(x)\rightarrow \neg Q(x))\\ \iff& (\forall x)(\forall y)[\neg P(x)\lor \neg Q(y)\lor \neg R(x,y)]{\color{red}\land} (\exist u)[P(u)\land (\forall z)(\neg S(z)\lor R(u,z))]{\color{red}\land} (\exist v)[S(v)\land Q(v)]\\ \iff& {\color{red}(\exist u)(\exist v)}(\forall x)(\forall y)(\forall z)[\neg P(x)\lor \neg Q(y)\lor \neg R(x,y)]\land P(u)\land [\neg S(z)\lor R(u,z)]\land S(v)\land Q(v)\\ \iff& (\forall x)(\forall y)(\forall z)[\neg P(x)\lor \neg Q(y)\lor \neg R(x,y)]\land P({\color{red}a})\land [\neg S(z)\lor R({\color{red}a},z)]\land S({\color{red}b})\land Q({\color{red}b}) \end{aligned}$
  得到子句集： $\{\neg P(x)\lor \neg Q(y)\lor \neg R(x,y),P(a),\neg S(z)\lor R(a,z), S(b),Q(b)\}$
  
  消解过程：
  $\begin{aligned} &(1)&& \neg P(x)\lor \neg Q(y)\lor \neg R(x,y) &&P\\ &(2)&& P(a) &&P\\ &(3)&& \neg Q(y)\lor \neg R(a,y) &&(1),(2),代换\{a/x\} \\ &(4)&& Q(b) &&P\\ &(5)&& \neg R(a,b) &&(3),(4),代换\{b/y\} \\ &(6)&& \neg S(z)\lor R(a,z) &&P\\ &(7)&& \neg S(b) &&(5),(6),代换\{b/z\}\\ &(8)&& S(b) &&P \end{aligned}\\ (7)(8)矛盾,证毕$
四、注意
1. 需要消去量词时，先用 $E S$ 规则，再用 $U S$ 规则。
2. 用 $E S$ 规则消去的量词在添加时，只能用 $E G$ 规则；而用 $U S$ 规则消去的量词在添加时，可以用 $U G$ 规则或 $E G$ 规则。
3. 消去多个存在量词时，不能用相同的常量符号取代。
4. 消去量词时，量词需在公式最前端，且辖域需为整个公式
  量词时，量词需在公式最前端，且辖域需为整个公式

xxatz

关注

3
点赞
踩
11

收藏

觉得还不错? 一键收藏
0
评论
第二章一阶谓词逻辑（数理逻辑）

文章目录第二章一阶谓词逻辑 Predicate Logic2.1 量词和谓词2.2 谓词公式与解释2.3谓词公式的等价与范式表示2.4 谓词公式的蕴涵2.5 谓词逻辑的推理第二章一阶谓词逻辑 Predicate Logic引入：命题逻辑是数理逻辑的基础，但原子命题不可再分，便无法研究命题内部的逻辑特征(例：共同性，差异性)。2.1 量词和谓词谓词 Quantifier：将基本命题分成客体(个体)和谓词。客体：描述的对象谓词：描述的个体性质(特征)或关系谓词元数：谓词联系
复制链接

扫一扫