数理逻辑、命题逻辑、谓词逻辑之概念详细梳理

大家好，欢迎来到IT知识分享网。

叮嘟！这里是小啊呜的学习课程资料整理。好记性不如烂笔头，今天也是努力进步的一天。一起加油进阶吧！

一、前言

《离散数学》的学习已经过去蛮久了，突然发现还有一些简单概念又变得模糊起来。这里区分小记Mark一下。

水平有限，如有错误，欢迎指正。

二、概念梳理

1、数理逻辑

简而言之，数理逻辑就是精确化、数学化的形式逻辑。
用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑，也叫做符号逻辑。

（1）数理逻辑包括哪些内容呢？

广义上，数理逻辑包括集合论、模型论、证明论、递归论。这里我们先介绍它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。

命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。
命题是指具有具体意义的又能判断它是真还是假的句子。

谓词演算也叫做命题涵项演算。
在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。

（2）数理逻辑体系

数理逻辑的主要分支包括：
逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。

数理逻辑和计算机科学有许多重合之处，两者都属于模拟人类认知机理的科学。许多计算机科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵、邱奇等。

程序语言学、语义学的研究从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。

柯里——霍华德同构给出了“证明”和“程序”的等价性，这一结果与证明论有关，直觉逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。

计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献，比如说自动定理证明和逻辑编程。

2、命题逻辑

命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。

在命题演算中语言由命题变量（或者叫占位符（placeholder））和句子/判决算子（或者叫连结词）。wff 是任何原子公式或在句子操作符之上建造的公式。

3、谓词逻辑

在谓词逻辑中，原子命题分解成个体词和谓词。

个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。
谓词则是用来刻划个体词的性质的词，即刻画事和物之间的某种关系表现的词。

 如：
 “苹果”是一个现实物个体词，"苹果可以吃"是一个原子命题。
 “可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。

三、命题逻辑和谓词逻辑之间有什么关系？

1、解释一：

例子：
命题逻辑：‘4的倍数’是‘2的倍数’。
任意x，x是4的倍数—>x是2的倍数。

谓语逻辑：‘一个偶数’的下一个的下一个是‘2的倍数’。
这里的下一个就是function，我们用next这个函数名来表示。
任意x，x是偶数，y=next(next(x)) ——> y是2的倍数

2、解释二：

谓词逻辑就是加了"量词运用规则"的命题逻辑。

3、解释三：

命题逻辑是一种比较简单，泛泛的逻辑。

4、解释四：

将命题细分得到谓词逻辑命题。

Ending！
更多课程知识学习记录随后再来吧！

就酱，嘎啦！