数理逻辑2 -- 量化理论5

最新推荐文章于 2021-12-29 09:33:49 发布

SecPractitioner

最新推荐文章于 2021-12-29 09:33:49 发布

阅读量780

点赞数

文章标签： ai 数学数学之美

本文链接：https://blog.csdn.net/vermouthsister/article/details/76187145

版权

本文介绍了数理逻辑中的一阶逻辑理论，包括定义、公理系统、推导规则和逻辑有效性。阐述了逻辑蕴涵、逻辑等价、一致性等概念，并证明了相关命题和定理，如演绎定理、一致性定义以及一些重要的逻辑性质。

摘要由CSDN通过智能技术生成

接下来我们要建立类似命题演算里系统L那样的一阶逻辑公理系统。

先看一些定义。

定义2.16: $B$ ， $D$ 是好式子， $\Gamma$ 是一个好式子的集合，

$B$ 是逻辑有效的(logically valid)，当且仅当， $B$ 对所有解释为真。
$B$ 是可满足的(satisfiable)，当且仅当，至少存在一个解释，其中至少有一个序列满足 $B$ 。
$\Gamma$ 是可满足的，当且仅当，至少存在一个解释，其中至少有一个序列满足 $\Gamma$ 中的所有好式子。
$B$ 是矛盾的(contradictory)，当且仅当， $B$ 对所有解释为假，即 $\neg B$ 是逻辑有效的。
$B$ 逻辑蕴涵(logically imply) $D$ ，当且仅当，对于任一解释，其中任一序列 $s$ ，如果 $s$ 满足 $B$ ，那么 $s$ 也满足 $D$ 。
$D$ 是 $\Gamma$ 的逻辑后承(logical consequece)，当且仅当，对于任一解释，其中任一序列 $s$ ，如果 $s$ 满足 $\Gamma$ 中的任一好式子，那么 $s$ 也满足 $D$ 。
$B$ 和 $D$ 是逻辑等价(logically equivalent)，当且仅当， $B$ 和 $D$ 相互逻辑蕴涵对方。

根据定义2.16，我们很容易得到以下命题。

命题2.16

$B$ 逻辑蕴涵 $D$ ，当且仅当， $B \Rightarrow D$ 逻辑有效。
$B$ 和 $D$ 逻辑等价，当且仅当， $B \Leftrightarrow D$ 逻辑有效。
如果 $B$ 逻辑蕴涵 $D$ ，并且 $B$ 对某个解释为真，那么 $D$ 对同样的解释也为真。
如果 $B$ 是集合 $\Gamma$ 的逻辑后承，并且 $\Gamma$ 中所有好式子对某个解释为真，那么 $D$ 对同样的解释也为真。

接着，我们介绍一阶逻辑理论。和命题演算中的公理系统类似，一个一阶逻辑理论 $K$ 包含以下要素：
1. 一阶逻辑语言；
2. 公理，分为逻辑公理（logical axiom）和特有公理（proper axiom）；
3. 推导规则（rule of inference）

特有公理是我自己这么翻译的，没看过中文教材，实在不知道该怎么翻译proper axiom，看意思就是每个一阶逻辑理论有自己特有的proper axiom，所以干脆就叫作特有公理。

一阶逻辑理论 $K$ 的逻辑公理也是“几套”公理（axiom scheme），如下：
(A1) $B \Rightarrow (D \Rightarrow B)$
(A2) $\big( B \Rightarrow (C \Rightarrow D) \big) \Rightarrow \big( (B \Rightarrow C) \Rightarrow (B \Rightarrow D) \big)$
(A3) $(\neg B \Rightarrow \neg D) \Rightarrow \big( (\neg B \Rightarrow D) \Rightarrow B \big)$
(A4) $(\forall x_i)B(x_i) \Rightarrow B(t)$ ，当 $t$ 在 $B$ 中对 $x_i$ 自由。特别的，如果 $t$ 就是 $x_i$ ，那么 $(\forall x_i)B \Rightarrow B$ 。
(A5) $(\forall x_i)(B \Rightarrow D) \Rightarrow \big(B \Rightarrow (\forall x_i)D \big)$ ，当 $x_i$ 在 $B$ 中没有自由出现。