摘要
本文是 2024Fall-数理逻辑 的期末考点合集,包括讲义第 0 章、教材第 1-3 章内容,并标注了考点。
本文添加了一些笔者对知识的理解,这部分注明不是来自讲义或教材,仅供参考。中文版《数理逻辑(第二版)》教材中存在许多翻译错误和公式排版、印刷错误,本文指出了其中一些错误并注明错处。
考试题型:
简答题:9 个,每个 5 分,共 45 分。3 个写文字的,6 个带构造的。
大题:6 个(5 题 9 分,1 题 10 分)。第 6、7 大题,注意区分本科生/研究生题目。
主要考基本概念。
大佬镇场
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
讲义 集合
关于 ZFC 集合论及其构造思路,可参考本人博客:公理的祖先是逻辑或形式二者之一 | EagleBear2002 的博客。
讲义 良序关系
良序:设
讲义 自然数的定义
设
自然数的定义:
无穷公理:所有自然数组成的整体是集合,记为
讲义 数学归纳法
传递集合:设
三歧性:
对任意自然数
习题 1:证明设
证明:由
的传递性可知, 。取任意 ,只要证明 。
是 的后继(此处右上角的 并不是传递闭包),即 。
- 若
则 ; - 若
则 ,此时 成立。
习题 2:证明对任意自然数
证明:对
使用数学归纳法。
- 若
,显然命题 成立; - 若
,即 ,显然命题 成立; - 若
时命题 成立,则 时, ,显然命题 成立。 因此,对任意自然数
,都有 或 。
讲义 有穷集合和无穷集合
习题 1: 证明
证明:构造
,其中 。显然 是双射,因此 与 等势。
习题 2:假设
; ;
证明:
证明:由题意得,
, 为双射。 构造
: 显然,
为双射。因此 。
习题 3:设
(1)
证明:先证充分性。若
,则 是一个单射。令 ,则 是双射,因此 。 再证必要性。若
,则 为双射。因此 是单射,故 。
讲义 有穷集合
习题:设
(1)如果
证明:
是有穷集合
是有穷集合。
讲义 可数集合
习题 1:设
证明:
可数意味着 , 为满射。构造 显然
为满射。因此 可数。
习题 2:证明:
(1)对任意
(2)集合
TODO:这道题用到了构造
的函数,需要记住。 (1)证明:引理:两个可数集合的笛卡尔积是可数集合。对于可数集合
, 为单射。构造 ,则 为单射。因此 可数。 下面进行归纳:
时, 显然是可数集合。
时,构造 , 为双射,可知 为可数集合。 由
为可数集合和引理可知, 为可数集合。 因此,对任意
有, 都是可数集合。
(2)证明:由定理 0.2.7,可数多个可数集合的并仍然是可数集合,因此
是可数集合。
讲义 不可数集合(不考)
习题 1:令
证明:使用反证法。假设
可数,不妨设 。 构造新映射
, 。
- 若
,与 的定义相矛盾; - 若
,但 ,矛盾。 假设不成立。原命题成立。
讲义 序数
具有三歧性的传递集合叫做序数。每个自然数都是序数,
本书中对序数的定义并不直观,也没有说明序数的用途。此处补充序数的描述:
在数理逻辑中,序数(ordinal numbers) 是一种用于表示集合的“大小”和“顺序类型”的概念,尤其在集合论、公理集合论和模型论中起着重要作用。序数扩展了自然数的概念,可以用来描述无穷集合的大小和结构,起到了将有限和无限统一到同一框架下的作用。
序数是良序集的等价类。直观地,序数可以理解为一种表示“位置”的标签,且这些标签本身是有序的。
习题:设
(1)如果
(2)如果
(1)证明:
是 的最大元,由三歧性得, 。 由
是传递集合, ,即 中任意元素都是 的子集,因此 。 由
得, 。 因此
。
(2)证明:由传递集合得,
。
中没有最大元,即 ,因此 。 因此,
。
讲义 超穷归纳法
如果
习题:设
(1)
(2)如果
(1)证明:
先证必要性(
是极限序数 ):如果 是极限序数,那么 ,并且 中没有最大元。 由
的传递性可知, 中任意元素都是其子集,因此 。
因此 。又由传递性, ,因此 。因此 。(TODO:这一步有点问题) 因此
。 再证充分性(
是极限序数):假设 。这意味着 是由它自身的所有元素组成的,并且对于每个 ,都有 。 如果
不是极限序数,则 中应有一个最大元 ,使得 。由上一题结论, ,但这与假设 矛盾。因此, 不能有最大元。 因此,
必须是极限序数。
(2)证明:由
是 中最大元, ,且 为后继序数(TODO:这一步怎么来的?)。设 ,只要证明 。 若
,与 是 中最大元矛盾; 若
,则 ,与 矛盾。 因此,
。
讲义 可数序数
定义
定义
讲义 基数
设
讲义中对基数的定义十分诡异,我们在这里补充教材中对基数的定义。集合
习题 1:设
TODO:看不明白过程
证明:对每个序数
,即 ,有 ,即 或 。 又因为
为集合中最小元,因此 。
习题 2:对任意的
TODO
教材 命题逻辑
教材 命题逻辑的语言
习题 2:证明不存在长度为 2、3、6 的合式公式,但其他任意正整数长度的合式公式都可能存在。
证明:用
表示公式 的长度。定义谓词 ,命题 。 对所有命题符号
, ,命题 成立。 对所有非命题符号的合式公式
归纳: 下面证明:若组成合式公式
的合式公式 均有 成立,则 成立。
- 若
,则 , 。若 ,则 ,与 矛盾; - 若
(其中 ),显然 。若 则 ,与 或 矛盾。 因此,
。 下面证明
可以为其他任何长度。
函数存在如下递归关系: 显然,
可以为 中的任何值。根据长度为 7、8、9 的公式,可以根据 构造长度为大于 9 的任意整数的公式。
习题 3:设
证明:命题
。 当
时, 或 ,其中 是命题符号。 成立。 若当
时都有 成立。则当 时, ,其中 。此时 成立。 因此,对任意
,都有 成立。
教材 真值指派
对于命题符号集合
设
我们称真值指派
重言蕴含:
重言式:
重言等价:
紧致性定理:设
习题 6:(a)证明:如果两个真值指派
证明:设
是 的构造序列。
习题 8:(置换)
(a)设
(b)证明如果
(a)证明:命题
。设 的构造序列为 。对 进行归纳: 当
时, 为命题符号,命题 成立。 若当
时,命题 都成立。 则当
时, ,因此 。 因此,对所有
,命题 都成立。
(b)证明:若
是重言式。对任意真值指派 , 。因此 为重言式。
教材 解析算法
习题 3(不考):证明引理 13B 中关于运算
证明:对具有该性质的合适公式的集合
,使用归纳法。 只包括一个命题的合适公式,没有符合条件的真初始段,原命题显然成立。
下面验证
在 下是封闭的。考虑 中的 , 的真初始段如下:
,其中 是 的真初始段 显然,
。原命题显然正确。
习题 4:假定将合式公式的定义修改为去掉其中所有的右括号。对于
我们写成:
证明这种记法具有唯一可读性(即每个合式公式只有一个可能的分解方法)。提示:这种表达式具有的括号数和联结符号数相同。
证明:只需给出算法,可以根据每个该记法下的公式
和合式公式一一对应。 一种“自底向上”的构造算法:令
表示所有合式公式(包括命题符号)的集合。
- 对
中出现的每个串 ,若 ,执行替换: - 重复步骤 1,直到无法执行替换。
在上述算法中,每次执行替换时在
中增加了一个右括号 ,上述算法会在有限步骤内结束。替换后的子串都是合式公式,因此每个算法结束后 成为合式公式。又因为该记法下每个公式都是由某个合式公式转化而来,因此该记法下每个公式和合式公式一一对应。
直观上,上述算法每次迭代时把一个或两个短的合式公式变成一个更长的合式公式,直到包含所有的命题符号,整个公式称为一个合式公式。
教材 归纳与递归
习题 1:设
是长度为 的构造序列的最后一个元素 的集合, 。
枚举
中的元素: 因此,
。同理, 。 陆老师原话:“数字不重要,你把前两个写出来就行了,后面的太难了”。
习题 3:本节中关于要求
TODO:如何定义集合对多元关系(而非多元函数)封闭?
“自顶向下”的
的扩展定义: 我们称
的子集 在 的作用下是封闭的,当且仅当只要 ,那么 。称 是归纳的,当且仅当 并且 在 的作用下是封闭的。令 是 的所有归纳子集的交集,则 当且仅当 属于 的每个归纳子集。 证明
: 首先验证
。我们只需要证明 是归纳的,即 并且 在 的作用下是封闭的。显然 。如果 ,则将其构造序列进行连接,并添加每个新的元素 ,其中 ,我们就得到了一个新的构造序列,并将 加入了 中。因此, 在 的作用下是封闭的。 其次证明
。考察构造序列 ,对 进行归纳,可得到 。首先 。在归纳步骤使用 的封闭特性即可。因此得到:
这种题考场会出吗?根本不认得符号 😭
教材 命题连接词
习题 1:设
(a)给出一个仅使用
(b)给出一个合式公式,其联结词最多出现 5 个。
(a)观察可知,当且仅当三个参数中只有一个
时,函数值为 。 构造析取范式:
(b)将上述函数简化:
思路:应用
来减少连接个数。
习题 5:证明
证明:由于
,其中 表示重言等价(LaTeX 中没有重言等价符号)。即 可以用其他连结词表示,因此只需要证明 是不完备的。 令
是任意只包含 的公式,只要证明在 下的四种可能取值中有偶数个为 。 合式公式
和 显然只有偶数个 。若合式公式 有偶数个 ,则合式公式 和 也有偶数个 。 因此,该联结词集合和命题符号无法构造与
等价的公式,该连结词集合不完备。
教材 紧致性和能行性(不考)
习题 1:设
提示:如果不是这样,那么对于有限子集
不使用紧致性定理的证明:使用反证法。如果不是这样,则对于有限子集
和 , 和 都是不可满足的。因此 也是不可满足的。这与“ 的每个有限子集都是可满足的”相矛盾。
习题 2:设
的每个有限子集是可满足的, - 对每个合式公式
,要么 要么 。
对每个命题符号
证明对每个合式公式
提示:对
证明:对
使用归纳法。 若
为命题符号,则根据 的定义, 当且仅当 ,原命题对 成立。 若对于构造序列长度小于
的所有合式公式,原命题都成立。 则对于构造序列长度为
的合式公式 ,设其构造序列为 。
- 若
, ,原命题对 显然成立; - 若
, 。由条件 2 可知, 对 封闭。因此 。原命题对 成立。 - 若
,可转化为 。根据 1 和 2 归纳即可。 因此,原命题对所有合式公式
成立。
教材 一阶逻辑
教材 一阶语言
表达式是符号的任意有限序列。大多数表达式没有意义,项和合式公式是具有特定意义的表达式。
项定义为在常数符号和变量之前加上函数符号构成的表达式,如
原子公式的做工相当于命题逻辑中的命题符号,原子公式是具有如下形式的表达式:
合式公式(或公式)是指由原子公式通过使用 0 次或多次连接符号和量词符号构成的表达式。
自由变量是“没有量词约束”的变量。
句子是没有自由变量的合式公式。
概念辨析
特点 | 公式(Formula) | 句子(Sentence) |
---|---|---|
是否含自由变量 | 可能含有自由变量 | 不含自由变量 |
可判定性 | 不能直接判定,需要赋值 | 可以直接判定真值 |
作用 | 描述性质或关系,通常作为表达式的一部分 | 完整断言,可以作为公理或定理 |
示例 |
我们会尽量使用如下字母表:
- 谓词符号:大写斜体的字母和
; - 变量:
; - 函数符号:
等; - 常数符号:
; - 项:
; - 公式:小写希腊字母;
- 句子:
; - 公式集:大写希腊字母和特定的斜体字母(看作是希腊字母)即
; - 结构
,大写德文字母。
以上都是语法概念,与语义无关。
教材 真值与模型
一阶语言的结构
形式上,一阶语言的一个结构是一个函数,其定义域为参数的集合,且满足以下条件:
- 全称量词
:指派一个非空集合 ,称为 的论域(universe)(或者定义域(domain))。 - n 元谓词符号
:指派一个 n 元关系,$ P^\A \subseteq |\A|^n $,即 是 P 上一个 n 元组的集合。 - 常数符号
:指派一个论域 中的元素 。 - n 元函数符号
:指派一个 上的 n 元运算 ,即 。
例如,数论结构(
若句子
对于结构
一阶逻辑中全程量词的语义解释:对于合式公式
习题 3:证明:
证明:对每个结构
和每个函数 ,有 和 ,即 。因此
教材 逻辑蕴涵
合式公式集合
下面这段话来自教材,对我们理解定义非常重要:
逻辑蕴涵的定义与第 1 章中的重言蕴涵非常相似,但是其复杂性却大大不同。在命题逻辑中想要判定一个合式公式是否是重言式,只需要考虑有限个真值指派,其中每一个都是有限函数。对每个真值指派,只要计算
,这可以在有限长的时间内完成。(如前所述,重言式的集合是可以判定的) 与之相反,如果要判定一阶语言中的合式公式是否恒真,则需要考虑每一个结构
。(特别地,这需要使用每个非空集合,而每个集合都有很多元素)对于每个结构,还要考虑每个从变量集合 到 的函数 。并且对每一个给定的结构 和 ,还需要判定 是否以 满足 。如果 是无限的,其本身就是一个非常复杂的概念。 考虑到这些复杂性,恒真公式集的无法判定性就不足为怪了(
)。奇怪的是,可以证明恒真性的概念与另外一个概念(可推导性)是等价的,这个概念更接近有限性( )。利用这个等价,在某些推理假设下,可以证明恒真集(恒真合式公式的集合)事实上是可数的。由这个可数的性质可以得到恒真公式集的一个更具体的特性。
习题 4:证明:如果
证明:对每个结构
和每个函数 ,由定理 22A,有:
习题 9:设语言具有相等和二元谓词符号
(a)
下面的句子
满足要求: 该句子用自然语言描述,即集合中存在至少两个不相等的元素,且任意三个元素中都至少有两个相等,因此集合中只存在两个不相等的元素。
教材 可定义性
习题 11:给出能够在
(a)
(b)
(c)
(d)
(a)
(b)
(c)
即 (d)
即
习题 13(不考):证明同态定理的(a)。
设
(a)对每个项
影印版教材中同态定理的横线印刷不清晰,本题中的表述是正确的。
证明:对于常量
, ; 对于变量
, ; 对于
元函数函数 ,按照归纳,
习题 18:全称公式 (
(a)证明:如果
说明:(a)的意思是(当
证明:本题的证明过程要用到一阶逻辑的全称量词语义解释,以及与之相似的一阶逻辑的存在量词语义解释。后者并没有在教材中提到。
我们假设 $\vDash_{\B} \forall x_{1} \dots \forall x_{n} \theta [s] $,于是对于每个
, 。 这意味着,对于每个
, 。因此,对每个 , 。等价地, 。 用同样的证明方法,我们假设
,则存在 , 。进而存在 , 。可推出 。
习题 20:设语言有等号和二元谓词符号
(a)试找出一个句子,它在一个结构中是真的,在另外一个中是假的。
直观来说,
中存在“相邻”的两个数而 中不存在。“相邻”可以被形式化描述为“这两个数之间没有其他的数”。我们使用公式来表达这一性质:
习题 22:设
证明:取
,则 是满射。对每个 ,使用选择公理定义 ,定义 为 中的任意一个元素(例如,某个全序下的最小元素)。接下来,我们可以根据对同态的定义构造 中的谓词参数、常数符号函数符号对应的元素: 以上定义的
显然使得 为同态。
教材 解析算法
项是通过符号函数对变量和常数的运算得到的。定义符号函数
通过如下方式将
习题 1:对于合式公式
证明:对波兰记法下的
使用归纳法。
- 若
,有以下几种情况:
, , , , - 若
,有以下几种情况:
, , , , , , 因此,总有
。
习题 2:设
证明:先证充分性。由引理 23A,
。由引理 23B,对 的任意终段 ,我们有 。 再证必要性。
对
归纳。若 长度为 1,则为变量或常数符号,命题显然成立。 若
长度超过 1,由 且对 的任意终段 , ,可知必然存在至少一个 元函数符号 。 若只存在一个
元函数符号 ,则由 知 中必然存在 个变量或常数符号,由 知这些变量符号必然都出现在 右端。命题成立。 对
中函数符号的个数归纳,由 且对 的任意终段 , ,可知 必然以 元函数符号开始,且函数符号后恰好有 项。
教材 演绎计算
教材 形式演绎
假言推理(Modus Ponen,又称 MP 规则或直言三段论):
- 重言式;
- 去掉全称量词:
,其中 是 在 中的替换,即把 中出现的 换成 ; - 全称量词右移:
; - 添加全称量词:
,其中 在 中不是自由出现的(自由出现的意思是无量词限定,例如 中 是自由出现的, 不是); ; ,其中 是原子的, 是有限次的将 中的 替换为 得到的。
教材 替换
对原子公式
上述定义的含义为,如果待替换的变量不是自由出现的,例如被全称量词限定的
教材 演绎与元定理
由
概化定理(添加全称量词):如果
规则 T:如果
演绎定理:如果
习题 3:(a)设
证明:对于任意公式(基本与否均可),有:
(b)证明:如果
(a)证明:使用归纳法证明。对于基本公式
, 。 对于公式
, 。 对于公式
, 。
(b)证明:
重言蕴含 ,意味着对每个结构 ,若对于每个 , ,有 。 因此,对每个结构
和 ,若对每个 ,都有 ,则 。因此, 。 上述证明实际上展示了“语法上的重言蕴含为什么在逻辑语义上是对的”。
习题 8:设
在同样的假设下,证明 Q3a:
TODO:回头再看。
证明 Q2b:由规则 T,需要证明
和 。 通过推导、反证法和假言推理,我们可以得到第一个公式等价于
。现在,根据第 2 组公理和假言推理,我们有 。此外, 和 都是重言式。通过假言推理,我们得到 和 $\forall x (\alpha \rightarrow \beta) \vdash \neg \beta \forall x (\alpha \rightarrow \beta)$ 重言蕴含 ,根据规则 T,我们得到了需要的结果。 通过推导、反证法和假言推理,我们可以得到第二个公式等价于
。对于这个公式,基于推广定理并假设 没有自由出现在 中,我们只需证明 ,而通过反证法、推导和假言推理,它等价于 ${ \alpha, \neg \beta } \vdash \exists x \beta $。通过假言推理,我们只需证明 $\beta \vdash \exists x \beta $,或者通过推导 $\beta \vdash \exists x \beta $,或者通过反证法和假言推理,得到 $\forall x \neg \beta \vdash \neg \beta $,这是第 2 组公理的一项。 通过将
替换为 ,将 替换为 $\beta $,并使用反证法的重言式等价性,我们得到 。
习题 9:(再替换引理)(a)试证:
(b)证明:如果
本题中证明会使用替换的定义(4)
(a)证明:如果
,则 ,此时 在 中同样的位置上不出现。 如果
,则 ,此时 在 中同样的位置上不出现。
TODO:再看看(b)
(b)证明:如建议的那样,我们通过归纳法证明该陈述。对于变量或常量符号 $z \neq y $,如果 $z \neq x $,则 $\varphi^z_y = (\varphi^y_x)^y_x = z $,否则
且 $(\varphi^y_x)^y_x = x = z $。对于不包含 的项 $t = f_i t_1 \ldots t_n (t^y_x)^y_x = f_i ((t_1)^y_x)^y_x \ldots ((t_n)^y_x)^y_x = f_i t_1 \ldots t_n = t$。同样,对于不包含 的原子公式 ,通过归纳, (并且 可以替代 因为后者也是一个原子公式)。 此外,根据定义和归纳,如果不包含
的 和 使得 可替代 在 和 中,那么 a) , 可替代 在其中,且 b)$((\alpha \rightarrow \beta)^y_x = \alpha^y_x \rightarrow \beta^y_x (\forall x \alpha)^y_x = \forall x \alpha$ 不包含任何 ,因此 不在 中, 不自由出现在其中, 可替代 在其中,且 。
习题 11:证明 Eq3:
证明:在数理逻辑中,
运算符具有右结合性,即 的含义是 。本题的表达中不使用括号。 根据泛化定理,我们只需证明 $\vdash x = y \rightarrow y = z \rightarrow x = z $。根据公理组 5,我们有 $\vdash x = x $。根据公理组 6,我们有
和 $\vdash y = x \rightarrow y = z \rightarrow x = z $。前两个式子根据规则 T 可以推出 $\vdash x = y \rightarrow y = x $,再结合第三个式子并再次应用规则 T,可以推出 。
另一种基于命题逻辑(而不是一阶逻辑)的证明:
其中
就是 的否定。由于相等关系(或者逻辑上的相等)的传递性, 为重言式。
教材 可靠性与完备性理论
可靠性定理:如果
引理 25A:逻辑公理都是恒真的。
完备性定理(哥德尔 1930):
- 如果
,那么 。 - 任意和谐的公式集都是可满足的。
紧致性定理:
- 如果
,那么存在某个有限的 ,有 。 - 如果
的每个有限子集 都是可满足的,那么 是可满足的。特别地,句子集 有模型当且仅当其每个有限子集有模型。
可枚举定理:
对合理的语言,恒真(valid)合式公式的集合是能行可枚举的。
定理 26A:如果句子集合
定理 26C:对有限语言中的有限结构
习题 1:(语义规则 EI)假设常数符号
该规则将推论 24H 中的
换成了 ,该题应该从语义方面证明而不是从语法方面。 证明:
对任意 和 ,如果 且 ,则 ;
对任意 和 ,如果 且 ,则 ;
对任意 和 ,如果 且 ,则 ;
; 上述证明完成了“在
中把 替换成 ” 这件事。
习题 2(不考):证明完备性定理(a)与(b)等价。提示:
说明:类似地,可靠性定理也适用于每个可满足的公式集是和谐的。
证明:在计算机学科中,consistent 被翻译为“一致的”。
先证充分性。若(a)成立。若
不可满足,则 ,因此 ,即 不和谐。推出(b)的逆否命题。 再证必要性。若(b)成立。若
,则对任意 , 即 。即 是不可满足的,也因此是不和谐的。导出矛盾,因此 。
习题 3:设
必然存在不出现
的从 到 的演绎。 证明:使用“软”方法完成证明。
对于一个不含
的语言,在该语言中 ,存在不出现 的从 到 的演绎,设该演绎为 。对于包含 的语言, 同样是该语言中一个从 到 的演绎。
习题 4:设
证明:假设
,其中 ,且构造 使得 。于是 并且 。 因此
可满足。由可靠性和完备性定理得, 是和谐的。
教材 理论的模型
理论是逻辑蕴涵意义下封闭的句子集合,
注意:我们仅指句子,而不是带有自由变量的公式。
对语言的结构类
这一概念由先前的特殊情况
对于句子集合
一个句子集合是一个理论当且仅当
一个理论
理论
习题 1(不考):证明下述句子是有限恒真的(即在每个有限结构中是真的):
提示:这些句子的逆的任意模型都是无限的。
证明:题中的 negation 在计算机科学中一般被翻译为“否定”而不是“逆”。
题中公式的含义是,在论域中存在一个
,使得 或者“ 在 处不传递”。 本题的证明中反复使用了 6 条公理和概化公理。
我们按照一阶逻辑的规则对句子的逆进行恒等变形:
如果
是该句子的模型,我们有: 只要证符合上述条件的
必是无限的。 由子集
可知, 。由 。由传递性 可知, 对任意 都成立。因此, 是无限的。
特别地,
即自然数上的后继函数和小于关系是该(a)的逆的一个模型。
习题 2:设
证明:对任意句子
, ,又 ,由外延公理,有 。
习题 5(不考):给出与如下公式等价的前束公式
其前束公式为:
习题 7:考虑带有二元谓词符号
提示:应用紧致性定理。
说明:该习题的目的在于说明在这个语言中无法表达“不存在降序链。”
证明:构造
: 当且仅当 。显然 ,且在 中存在 的降序链,该降序链 对应的正是 中的升序链。
“初等等价”的含义是,两个语言或结构满足完全相同的一阶逻辑公式集,在一阶逻辑的层面上“无法区分”。这道题的论证过程还有些问题,Section 2.6: Problem 7 Solution | dbFin 提供了本题的一种证明方式,但笔者认为这种证明方式也并不正确,因为其并没有定义
与 的关系。
习题 10:设有一个不带函数符号的有限语言,
(a)(不考)证明:可满足的
(b)证明:恒真的
说明:在一阶逻辑中,“判定问题”(Entscheidungs 问题)就是在给定一个公式后判定其是否恒真。由于丘奇定理(3.5 节),这一问题通常是无解的。这个习题给出的是判定问题中的一个可解的情形。
(a)证明:我们知道
句子是可满足的,当且仅当其在一个有限模型内是可满足的。在先前的习题中,我们可以判定它是否有任意模型,即其是否可满足。 (b)证明:
是一个可行的 句子,当且仅当 是不可满足的。通过 (a),我们知道它是可判定的。
教材 理论之间的解释(不考)
习题 1:假设
证明:简单来说,忠实解释是指能够保持理论
中所有公式的真假值不变的解释。 要证明对于
的任意理论 ,存在一个忠实解释将 解释到 上,我们可以通过构造一个从 到 的忠实解释来实现。 构造过程:
- 定义解释映射:首先,我们需要定义一个映射,将
中的项和公式转换为 中对应的项和公式。对于 中的项,如果它们不涉及函数符号 ,则直接对应到 中相同的项。对于涉及 的项,如 ,我们定义其在 中的对应项为 ,其中 成立。这实际上是在说,对于 中的每一组输入 ,在 中存在一个输出 ,使得 关系成立。 - 定义公式转换:接下来,我们需要定义如何将
中的公式转换为 中的公式。对于不涉及 的原子公式,可以直接对应到 中相同的原子公式。对于形如 的原子公式,我们将其转换为 中的公式 。对于复合公式,按照标准的逻辑运算符的转换规则进行转换。 - 验证忠实性:最后,我们需要验证这个解释是忠实的,即它保持了
中的所有公式的真假值。这意味着,如果一个公式在 下是真(或假)的,那么经过解释后,在 下它也应该保持同样的真假值。这可以通过结构归纳法来证明,首先证明对于原子公式这一点成立,然后逐步扩展到所有复杂的公式。 忠实性的证明
- 对于原子公式,如
,在 下它为真意味着 在输入 时确实产生输出 。在 下,这意味着存在一个元素 使得 为真,这与原始的原子公式在 下的意义是一致的。 - 对于复合公式,忠实性可以通过逻辑运算符的性质和原子公式的忠实性来保证。例如,如果一个合取式在
下为真,那么它的每个组成部分在 下也为真,根据忠实性,这些组成部分在 下也应为真,因此整个合取式在 下也为真。 综上所述,通过这种方式构造的解释是一个忠实的解释,它可以将
的任意理论 解释到 上,而不会改变公式的真假值。
习题 2:设
证明:假设非空的
元关系 可以由 公式 在 中定义(对于空关系结论显而易见)。 考虑
从 参数集到 公式集中的映射,使得 , 和 。因为 , ,以及 在 中为真,所以 是 的 到 的解释,并且 是 的模型。 于是,
, 当且仅当 当且仅当 ,以及 当且仅当 当且仅当 ,表明 。但是,对于每一个 , 当且仅当 当且仅当 (引理 27B)。这意味着 可以在 中由 定义。
教材 不可判定性
本章主要学习三种方法:自代入法、对角线法和可计算法。
教材 数论
本章涉及到的模型:
定理 30A:设
该命题的证明方式是证明哥德尔第一不完备性定理的雏形。本视频推导了证明两个哥德尔不完备定理的过程:【毕导】这个视频里说的都是真的,但你却永远无法证明_哔哩哔哩_bilibili。中文版教材的证明过程中有一些翻译错误,请以本文为准。
证明:命题的证明思路如下:
- 利用哥德尔数(
)构造自指句子 ; - 使用反证法,通过假设推出矛盾以证明假设的反面;
- 得出结论。
下面是命题证明的详细过程。
我们来构造一个句子
来表示 本身不是 的定理。概括地说,接下去的讨论是这样的:如果 ,那么 是假的,这与 是取值为真的句子集相矛盾。因此, 是取值为真的句子,但 。 为了构造
,我们首先考虑这样的一个三元关系 :TODO:从这个定义开始看不懂的。推理在 P168 定义。 简言之,
的含义是,哥德尔数为 的公式中的 替换为 ,得到的推理的哥德尔数为 。 因为
在 中可定义,因此 也是可定义的。(这里面的细节要等几节后才能证明)令 是 中定义 的一个公式, 为 (在此,用下列记号:
,等等) 下面开始正式构造自指句子
,令 则
表示任何一个数都不是 的从 出发的某个推理上的 值,这个推理是将哥德尔数为 的公式中的变元 换成数字 后所得到的公式的推理;即任何一个数都不是 的推理 的值。这个句子就是毕导视频中提到的 。 下面使用反证法,通过假设推出矛盾以证明假设的反面。
假设和我们期望的结果相反,存在一个从
出发的 的推论。我们设 是这个推理 的值,则 并且 显然
并且这两个公式说明
在 中是假的。但 和 中的句子在 中都是真的,这就得到了矛盾。 因此,不存在
的从 出发的推论。这样对于每个 ,我们有 。即对于每个 , 由此我们有(使用替换引理)
即,
在 中是真的。
大题考点:TODO
- 定理 30A 的证明思路。要点:自指、反证法
- 定理 30A 中三元关系
是怎么定义的?其中的符号 分别代表什么?其中的推理是如何编码的?
教材 数论的子理论
教材 公理集
其中,
大题考点:
- AE 公理集有哪些?分别是什么?
教材 可表示关系
可定义关系:设
(后两个条件等价是根据替换引理)我们可以把上述结果写成两个蕴涵式:
可表示关系:如果在上述两个蕴涵式中,“在
一个关系在
定理 33E 公式
由 数字确定,且 在 中定义 。
我们有必要比较一下可表示和可定义这两个概念。在这两个概念中,我们都是用公式来描述自然数之间的关系。对于可定义性,我们关心的是句子的解释是否是真的;而对于在
大题考点:
- 可表示、可定义是怎么定义的?他们有什么区别?
笔者认为,“定义”意味着创造了新的概念,而“表示”并不创造新的概念。
教材 可表示函数
在很多情况下,使用函数要比用关系来得方便。设
大题考点:
- 可表示函数的定义
习题 1:证明:在结构
本题的第二小问在中文版教材前置条件被翻译为“在结构
证明:在算数关系中,很容易使用对数将乘法转化为加法。例如
。利用这一思路,定义加法关系为 ,其中 。至此我们完成了对加法的定义,在后续我们会使用加法。 在此结构中,定义
为: 。 定义序关系为
; 在算数关系中,后继可以用
表示,只要构造 即可。 定义后继关系为
。
习题 2(不考):证明定理 33C, 即(在
证明:
首先,令
是一个原子句子。那么, 或 ,其中 和 是不含变量的项。根据引理 33B,存在 和 使得 和 。进一步地, 当且仅当 ,而 当且仅当 (根据 S1 和 S2),并且,利用这一点,根据引理 33A, 当且仅当 ,而 当且仅当 。利用这些事实,我们可以证明 当且仅当 ,而 当且仅当 ,并且 当且仅当 ,而 当且仅当 。例如,对于 , 和 (演绎公理组 6,DA6),并且利用 DA2,我们可以推导出 和 ,并且类似地对于 和 。 其次,令
是一个形式为 或 的句子,并且在 中为真,其中 是使得 当且仅当 在 中为真,而 当且仅当 在 中为假。我们证明同样的结论也适用于 。确实,如果 在 中为真,那么分别地, 在 中为假,而 在 中为假或 在 中为真,这意味着 ,并且 ,即 ;否则, 在 中为真,而 在 中为真, 在 中为假,这意味着 ,并且 ,即 。
习题 5(不考):证明:序列数字的集合是可表示的(编目 10)。
证明:序列数的集合定义为
,其中 是素数的集合,而 是可整除关系。换句话说,如果某个素数 能整除 $b $,那么所有小于 的素数 也能整除 $b $。特别地,这在 和 时是显然成立的。通过目录项 0、3、4 和 5,我们得出结论 是可表示的。
习题 6(不考):3 是序列数字吗?
是不是一个序列数,因为 能整除 3,但 不能整除 3。然而,形式上,我们仍然可以计算问题中的公式。 首先,形式上,
定义为最小的 ,使得要么 $b = 0 $,要么 ,其中 是可整除关系。在我们的例子中,$ \langle p_0, 3 \rangle \notin \mathcal{D}$,因此 。 其次,形式上,
定义为最小的 ,使得要么 $b = 0 $,要么 。在我们的例子中, 对所有 (包括 时 $p_1 = 3 $)。 最后,
对所有自然数也定义。特别地,由于 , ,这仅仅是能整除 的最大序列数。因此, 和 $(1 _ 3) _ 6 = 6 6 = \langle 0, 0 \rangle$ 是一个序列数)。进一步,$3 * 6 = 3 \cdot \prod_{i < 2} p_i^{(6)_i + 1} = 3 \cdot 6 = 18 = 2^1 \cdot 3^2 = \langle 0, 1 \rangle $。因此, 。
习题 10:设
证明:函数
可以表示为组合(定理 33L) ,其中 (目录项 1),且 是可表示的。
教材 语法的算数化
本节完成了对哥德尔数的具体定义,这意味着所有的公式都可以用自然数来表示。
如表 3-1,函数
对于一个语言的表达式
比如,对
对于一个推理(序列),
存在可表示函数
存在一个可表示关系
性质:
教材 不完全性和不可判定性
不动点引理:对于只含有自由变元
我们可以认为
大题考点:
- TODO:不动点定理的证明思路?
教材 弱可表示性
我们考虑递归可枚举集
我们知道存在公式
大题考点:
- TODO:弱可表示性的定义
教材 递归函数
另有:习题 3.6 1;2(a);3;4;8
习题 1:如下定义函数
那么,
函数
不是递归的,因为 是常函数。 函数
是递归可枚举函数,不是递归函数。
习题 2:定义对角线函数
(a)证明:
这题不会,跳过。
习题 3:(a)证明:任意部分递归函数的值域都是递归可枚举的。
(b)证明:严格递增的全递归函数
(c)证明:递增全递归函数
这道题考前重点讲解。
证明:听了,但没听懂。真不会了,考到就认命吧。
教材 部分递归函数
范式定理(Kleene,1943)
(a)在
(b)对于每个
(c)对于任意
在范式定理中,符号
: 这是递归函数的索引或编码,通常对应于一个程序或计算过程的标识符。它表示一个递归函数或其对应的程序。 : 这是输入向量,通常表示为 ,是递归函数的输入参数。 : 这是一个编码,表示从公式 推导出结果的推理过程的哥德尔数。它包含了推理过程和结果的信息。 : 这是一个 元关系,包含 。它定义了计算步骤,表示 、输入 和编码 之间的关系,其中 编码了从公式 推导出结果的推理过程。 : 这是在 之前的某个值,用于确保 是满足条件的最小值。在最小化操作 中, 代表比 更小的值,用于检查是否有更小的 满足条件。
范式定理的核心思想是,对于任意递归函数
大题考点:
- 解释范式定理中符号
, 和 的意思
教材 第二不完全性定理
哥德尔第二不完全性定理(1931) 设
证明思路:
哥德尔第二不完备定理表明,如果一个足够强大的公理系统是相容的,那么它不能证明它自身的相容性。以下是该定理的证明思路,分为几个关键步骤:
可证明性公式:首先,我们定义一个公式
相容性公式:接下来,我们定义系统的相容性公式
不动点引理:利用不动点引理,我们可以构造一个自指命题
假设系统证明相容性:假设系统
利用反射性质:通过反射性质,我们可以证明如果
Löb 定理的应用:Löb 定理指出,如果
结论:如果
总结:哥德尔第二不完备定理的证明思路是通过构造自指命题
一个基于哥德尔第一不完备定理的更简单的证明思路:
哥德尔第一不完备定理可以简化为对“若公理体系具有一致性,则构造的自指命题
哥德尔第二不完备定理可以简化为对“从公理可推出公理体系具有一致性”这一命题的否定。
若“从公理可推出公理体系具有一致性”这一命题成立,则有从公理出发可推出自指命题
大题考点:
- TODO:简叙哥德尔第二不完全性定理(P200)的证明思路