谓词逻辑＜2＞——一阶谓词演算形式系统FC

最新推荐文章于 2024-05-29 19:26:03 发布

Z from A

最新推荐文章于 2024-05-29 19:26:03 发布

阅读量345

点赞数

分类专栏：数理逻辑文章标签：学习

本文链接：https://blog.csdn.net/qq_45491237/article/details/134381754

版权

数理逻辑专栏收录该内容

6 篇文章 0 订阅

订阅专栏

索引

$\S2$ 一阶谓词演算形式系统 $\mathsf{FC}$

$\S2$ 一阶谓词演算形式系统 $\mathsf{FC}$

一阶谓词演算形式系统 $\mathsf{FC}$ 的基本概念

$\mathsf{FC}$ 的联结词只有 $\neg$ , $\to$ ,量词只有 $\forall$ ,且量词优先级等同一元联结词 $\neg$ 。

定义2.1 项

归纳定义如下:

个体常元和个体变元是项;
若 $\in \mathbb{N} ^{+}$ , $t_{1} ,t_{2},\dots, t_{n}$ 都是项, $n$ 元函词 $f^{\left ( n \right ) }$ 作用下的 $f^{\left ( n \right ) }\left ( t_{1} ,t_{2},\dots, t_{n} \right )$ 也是项;
只有有限次引用以上步骤确定的表达式才是项。

定义2.2 公式

归纳定义如下:

若 $\in \mathbb{N} ^{+}$ , $t_{1} ,t_{2},\dots, t_{n}$ 都是项, $P^{\left ( n \right ) }$ 为 $n$ 元谓词符号,则 $P^{\left ( n \right ) }\left ( t_{1} ,t_{2},\dots, t_{n} \right )$ 也是合式公式,称为原子公式;
若 $A$ 为合式公式,则 $A$ 的否定式也是合式公式;
若 $A$ , $B$ 为合式公式,则 $A$ , $B$ 的蕴含式也是合式公式;
若 $A$ 为合式公式, $v$ 为个体变元,则 $A$ 关于 $v$ 的全称命题也是合式公式;
只有有限次引用以上步骤确定的表达式才是合式公式。

$\mathsf{FC}$ 与 $\mathsf{PC}$ 的转换

在 $\mathsf{FC}$ 中引入零元谓词(命题)符号,可以使 $\mathsf{FC}$ 包含子系统 $\mathsf{PC}$ 。

定义2.3 全称化

设 $A$ 中 $n$ 个自由变元为 $v_{1},v_{2},\dots v_{n}$ ,则公式 $\forall v_{i1}\forall v_{i2}\cdots \forall v_{ir}(r\in \mathbb{N}^{+},r\le n,1\le v_{i1}< v_{i2}< \cdots <v_{ir}\le n)$ 称为 $A$ 的全称化,公式 $\forall v_{i1}\forall v_{i2}\cdots \forall v_{ir}(r\in \mathbb{N}^{+},r\le n,1\le v_{i1}< v_{i2}< \cdots <v_{ir}\le n)$ 称为 $A$ 的全称化,公式 $\forall v_{1}\forall v_{2}\cdots \forall v_{n}$ 称为 $A$ 的全称封闭式,若 $A$ 中无自由变元,则 $A$ 的全称封闭式等同于 $A$ ,此时 $A$ 也称为 $\mathsf{FC}$ 中的一个命题。

$\mathsf{FC}$ 的公理和推理规则

关于一阶谓词形式演算系统的理论记为 $\mathcal{J}$ ,有关于 $\mathsf{FC}$ 的理论为 $\mathcal{J}\left ( \mathsf{FC} \right )$ 。
以下公理及其全称化组成 $\mathsf{FC}$ 的公理模式:

$\to \left ( B\to A \right )$
$A2.\left ( A\to \left ( B\to C \right ) \right ) \to \left ( \left ( A\to B \right ) \to \left ( A\to C \right ) \right )$
$A3.\left ( A\to B \right ) \to \left ( \neg B\to \neg A \right )$
$A4:\forall vA\to A_{t}^{v} (t对A中的v可代入)$
$A5:\forall v\left ( A\to B \right )\to \left ( \forall vA\to \forall vB \right )$
$A6:A\to \forall vA(v在A中无自由出现)$

$\mathsf{FC}$ 的推理规则只有:

分离规则 $r_{mp}: \frac{A,A\to B}{B}$ 。

$\mathsf{FC}$ 的定理

定理2.1

对于 $\mathsf{FC}$ 中的任意公式 $A$ ,变元 $v$ , $\vdash _{PC} \forall vA\to A$ 。
$A 4$ 的特例 $\forall vA\to A_{v}^{v}=A$ 。

定理2.2

对于 $\mathsf{FC}$ 中的任意公式 $A$ ,变元 $v$ , $\vdash _{\mathsf{FC} } A\to \neg \forall v \neg A$ ,即 $\vdash _{\mathsf{FC} } A\to \exists v A$ 。
由定理2.1, $\forall v\neg A\to \neg A$ ,
$\begin{array}{l} (1) & \forall v\neg A\to \neg A & \\ (2) & \left ( \forall v\neg A\to \neg A \right ) \to \left ( A\to \neg \forall v \neg A \right ) & A3 \\ (3) & A\to \neg \forall v \neg A & r_{mp}(1)(2) \end{array}$

定理2.3

对于 $FC$ 中的任意公式 $A$ ,变元 $v$ , $\forall v A\to \neg \forall v\neg A$ 。

定理2.4 全称推广定理

对于 $FC$ 中的任意公式 $A$ ,变元 $v$ ,若 $\vdash A$ ,则 $\vdash \forall vA$ 。
结构归纳法,对证明序列 $\left \langle A_{1}, A_{2},\cdots ,A_{n}=A \right \rangle$ 的长度 $n$ 进行归纳。
$n = 1$ 时, $A$ 是公理,分情况讨论:
(1) $v$ 在 $A$ 中无自由出现
由 $A6:A\to \forall vA(v在A中无自由出现)$ 以及 $A$ 是公理,通过分离规则推出 $\forall vA$ 。
(2) $v$ 在 $A$ 中有自由出现
$A$ 是公理,则 $A$ 的全称封闭式 $\forall vA$ 也是公理。
设证明序列长度小于等于 $n - 1$ 时均成立,则对于 $A_{n}=A$ ,除了上文 $n = 1$ 时有如下情况:
(1) $A=A_{i}\left ( 1\le i\le n \right )$
因为 $A_{i}$ 也是 $FC$ 中的定理,所以由归纳假设, $\vdash \forall vA$ 。
(2) $A$ 可通过分离规则导出
设 $A$ 可由 $A_{i}$ , $A_{j}= A_{i}\to A(1\le i<j\le n)$ 通过分离规则导出,则由归纳假设,
$\begin{array}{l} (1) & \forall vA_{i} & 归纳假设 \\ (2) & \forall v\left ( A_{i}\to A \right ) & 归纳假设 \\ (3) & \forall v\left ( A_{i}\to A \right )\to \left ( \forall vA_{i}\to \forall vA \right ) & A5\\ (4) & \forall vA_{i}\to \forall vA & r_{mp} (2)(3) \\ (5) & \forall vA & r_{mp} (1)(5) \end{array}$
综上所述,若 $\vdash A$ ,则 $\vdash \forall vA$ 。

定理2.5 全称推广定理

对于 $FC$ 中的任意公式 $A$ ,任意公式集合 $\Gamma$ ,以及不在 $\Gamma$ 中任何公式自由出现的变元 $v$ ,若 $\Gamma \vdash A$ ,则 $\Gamma \vdash \forall vA$ 。
结构归纳法,对证明序列 $\left \langle A_{1}, A_{2},\cdots ,A_{n}=A \right \rangle$ 的长度 $n$ 进行归纳。
$n = 1$ 时,分情况讨论:
(1) $A$ 是公理
见定理2.4的证明, $\forall vA$ 也是公理。
(2) $A\in \Gamma$
变元 $v$ 不在 $\Gamma$ 中任何公式自由出现,则引用 $A6:A\to \forall vA(v在A中无自由出现)$ 和分离规则导出。
设证明序列长度小于等于 $n - 1$ 时均成立,则对于 $A_{n}=A$ ,除了上文 $n = 1$ 时有如下情况:
(1) $A=A_{i}\left ( 1\le i\le n \right )$
因为 $A_{i}$ 也是 $FC$ 中的定理,所以由归纳假设, $\Gamma \vdash \forall vA$ 。
(2) $A$ 可通过分离规则导出
设 $A$ 可由 $A_{i}$ , $A_{j}= A_{i}\to A(1\le i<j\le n)$ 通过分离规则导出,则由归纳假设,
$\begin{array}{l} (1) & \forall vA_{i} & 归纳假设 \\ (2) & \forall v\left ( A_{i}\to A \right ) & 归纳假设 \\ (3) & \forall v\left ( A_{i}\to A \right )\to \left ( \forall vA_{i}\to \forall vA \right ) & A5\\ (4) & \forall vA_{i}\to \forall vA & r_{mp} (2)(3) \\ (5) & \forall vA & r_{mp} (1)(5) \end{array}$
综上所述,若 $\Gamma \vdash A$ ,则 $\Gamma \vdash \forall vA$ 。

定理2.6 演绎定理

对 $\mathsf{FC}$ 中任意的公式集合 $\Gamma$ 和公式 $A$ , $B$ , $\Gamma \cup \left \{ A \right \} \vdash _{\mathsf{FC} } B$ 当且仅当 $\Gamma \vdash _{\mathsf{FC} } A\to B$ 。
因为 $PC$ 是 $FC$ 的子系统.所以 $PC$ 的定理也包含在 $FC$ 中,演绎定理在 $FC$ 中也成立。

定理2.7 假言异位

对 $\mathsf{FC}$ 中任意的公式集合 $\Gamma$ 和公式 $A$ , $B$ , $\Gamma \cup \left \{ A \right \} \vdash _{\mathsf{FC} } \neg B$ 当且仅当 $\Gamma \cup \left \{ B \right \} \vdash _{\mathsf{FC} } \neg A$ 。
由演绎定理, $\Gamma \cup \left \{ A \right \} \vdash _{\mathsf{FC} } \neg B$ 当且仅当 $\Gamma \vdash _{\mathsf{FC} } A\to \neg B$ ,
$\begin{array}{l} (1) & A\to \neg B & \\ (2) & \left ( A\to \neg B \right ) \to \left ( B\to \neg A \right ) & A3 \\ (3) & B\to \neg A & r_{mp} (1)(2) \\ \end{array}$
再次引用演绎定理, $\Gamma \vdash _{\mathsf{FC} } B\to \neg A$ 当且仅当 $\Gamma \cup \left \{ B \right \} \vdash _{\mathsf{FC} } \neg A$ 。

定理2.8 反证法

若 $\Gamma \cup \left \{ A \right \}$ 不一致,则 $\Gamma \vdash \neg A$ 。

定理2.9

对 $\mathsf{FC}$ 中任意的公式集合 $\Gamma$ 和公式 $A$ , $B$ ,以及不在 $\Gamma$ 中任何公式自由出现的变元 $v$ , $\Gamma \cup \left \{ A \right \} \vdash B$ 蕴含 $\Gamma \cup \left \{ \forall vA \right \} \vdash \forall vB$ 或 $\Gamma \cup \left \{ \forall vA \right \} \vdash B$ 。
由演绎定理, $\Gamma \cup \left \{ A \right \} \vdash B$ 当且仅当 $\Gamma \vdash A\to B$ ,由全称推广定理, $\Gamma \vdash \forall v \left ( A\to B \right )$ ,
$\begin{array}{l} (1) & \forall v \left ( A\to B \right ) & \\ (2) & \forall v\left ( A\to B \right )\to \left ( \forall vA\to \forall vB \right ) &A5 \\ (3) & \forall vA\to \forall vB & r_{mp}(1)(2) \\ \end{array}$
再次引用演绎定理, $\Gamma \vdash \forall vA \to \forall vB$ 当且仅当 $\Gamma \cup \left \{ \forall vA \right \} \vdash \forall vB$ 。
由定理2.1, $\Gamma \vdash \forall vB \to B$ 。
$\begin{array}{l} (1) & \forall vB & \\ (2) & \forall vB \to B & \\ (3) & B & r_{mp}(1)(2) \\ \end{array}$

定理2.10 存在消除定理

设 $\Gamma$ 为 $FC$ 中任意公式集合,公式 $A$ , $B$ 为 $FC$ 中任意公式,且变元 $v$ 不在 $\Gamma$ 的任意公式以及公式 $B$ 里自由出现,那么由 $\Gamma \vdash \exists vA$ ( $\Gamma \vdash \neg \forall v\neg A$ )以及 $\Gamma \cup \left \{ A \right \} \vdash B$ 蕴含 $\Gamma \vdash B$ 。
$\Gamma \cup \left \{ A \right \} \vdash B$ ,由演绎定理, $\Gamma \vdash A\to B$ 。
$\begin{array}{l} (1) & A\to B & \\ (2) &\left ( A\to B \right ) \to \left (\neg B\to \neg A \right ) & A3\\ (3) & \neg B\to \neg A &r_{mp}(1)(2) \\ \end{array}$
$\Gamma \vdash \neg B\to \neg A$ ,由演绎定理, $\Gamma \cup \left \{ \neg B \right \} \vdash \neg A$ 。
因为变元 $v$ 不在 $\Gamma$ 的任意公式以及公式 $B$ 里自由出现,所以根据全称推广定理, $\Gamma \cup \left \{ \neg B \right \} \vdash \forall v \neg A$ 。
由演绎定理, $\Gamma \vdash \neg B\to \forall v\neg A$ 。
$\begin{array}{l} (1) & \neg B\to \forall v\neg A & \\ (2) &\left ( \neg B\to \forall v\neg A \right ) \to \left (\neg \forall v\neg A\to B \right ) & A3\\ (3) &\neg \forall v\neg A\to B &r_{mp}(1)(2) \\ (4) & \neg \forall v\neg A & \\ (5) & B & r_{mp}(3)(4) \end{array}$