离散数学-数理逻辑

《离散数学》是计算机专业的一门十分重要的专业基础课。离散数学作为有力的数学工具对计算机的发展、计算机研究起着重大的作用。目前，计算机科学中普通采用离散数学中的一些基本概念、基本思想和基本方法。通过本课程的学习，掌握数理逻辑、集合论、代数和图论等近代数学分支的最基本知识：培养抽象思维能力及逻辑思维能力。

• （一） 命题逻辑的等值演算与推理演算

• １．命题逻辑的基本概念、命题逻辑联结词与真值表，重言式
• ２．简单命题的形式化（简单自然语句的形式化）
• ３．等值定理、基本等值公式以及等值演算
• ４．命题公式与真值表的关系、联结词的完备集
• ５．析取范式、合取范式、主析取范式和主合取范式
• ６．命题逻辑的推理规则与推理演算，归结推理证明方法
• ７．命题逻辑公理系统的概念，公理系统的基本结构

• （二） 谓词逻辑的等值演算和推理演算

• １．谓词、量词的基本概念及表示法
• ２．复杂自然语句的形式化
• ３．否定型等值式、量词分配等值式
• ４．范式、前束范式，Skolem 标准形
• ５．基本推理公式及其证明方法
• ６．谓词逻辑的推理规则与推理演算，归结推理法

• （三） 集合与关系

• １．集合的概念、性质和基本运算，集合间的关系和特殊集合
• ２．有限集合的基数，包含排斥原理
• ３．集合论公理系统，无穷公理和自然数集合
• ４．二元关系的概念、关系矩阵和关系图
• ５．关系的逆、合成，关系的基本性质，关系的闭包
• ６．等价关系和划分，偏序关系与哈斯图
• ７．任意集合上的函数定义与性质、特殊函数，满射、单射与双射
• ８．集合的势、无限集合的基数

• （四） 图论的基本概念、路与回路

• １．图的基本概念与性质
• ２．图的代数表示
• ３．途径、路、回路、迹的定义
• ４．欧拉环游（欧拉闭迹）与欧拉迹
• ５．汉密尔顿路与回路
• ６．最短路径
• ７．连通性
• ８．有向图

• （五） 树、平面图与图的着色

• １．树的定义及等价条件
• ２．支撑树的计数
• ３．森林
• ４．最短树
• ５．平面图与极大平面图
• ６．对偶图
• ７．色数与色多项式

• （六） 代数结构

• １．代数系统的概念
• ２．同构与同态
• ３．群的基本知识
• ４．循环群、群的同构
• ５．变换群和置换群、Caylay 定理
• ６．陪集和群的陪集分解、Lagrange 定理
• ７．正规子群与商群
• ８．同态、同态基本定理
• ９．环和域的概念

数理逻辑

数理逻辑是研究演绎推理的一门学科，用数学的方法来研究推理的规律统称为数理逻辑。
数理逻辑在问路问题中、排队论问题中的应用有很多。

命题逻辑

命题及其表示法

原子命题（简单命题）： 不能再分解为更为简单命题的命题。例如：雪是黑色的。
复合命题： 由联结词、标点符号和原子命题复合而成的命题。例如：如果今天晚上有星星，那么明天就是睛天。

表示命题的符号称为命题标识符。
一个命题标识符如表示确定的命题，就称为命题常量。即命题常元有确定的真值。
如果命题标识符只表示任意命题的位置标志，就称为命题变元。即命题变元的真值待定。只有当用某具体命题带入命题变元后，它才有确定的真值。
当命题变元表示原子命题时，该变元称为原子变元。

例：
：中国的首都在北京
：上海是个美丽的城市
：命题 和命题 。
其中: 和 是命题常元，

命题联结词

在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分。
命题联结词，两个句子真值之间的联结。

为了便于书写和进行推演，必须对联结词作出明确规定并符号化。

否定联结词： ，非
合取联结词： 与、且
析取联结词： ，或
条件联结词： ，“若…则…”“如果…就."“只有…才…”
等价联结词（双条件联结词）： ，当且仅当

合取析取老是混怎么办？并析交合，析取就是并集，合取就是交集。

不可兼析取 排斥、异或
与非：
或非
条件否定

联结词说明
(1) 联结词是句子与句子之间的联结
(2) 联结词是两个句子真值之间的联结，而非句子的具体含义的联结，两个句子之间可以无任何地内在联系
(3) 联结词与自然语言之间的对应并非一一对应:

两个命题变元共能构成 种不等价的命题，而这些情况用 个联结词能够全部表示出来所以 个联结词就足够了
最小联结词组：必须是功能完备的，即任何命题公式都可以由最小联结词组中所包含的联结词来表示。对于最小联结词组，删除其中任何一个联结词就不能把所有的命题表达出来。

命题公式

设 和 是任意两个命题，则 ，，， 等都是复合命题。

若 和 是命题变元，则上述各式均称作命题公式。 和 称作命题公式的分量。

必须注意：命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题代人时，才得到一个命题。这个命题的真值，依赖于代换变元的那些命题的真值。此外，并不是由命题变元，联结词和一些括号组成的字符串都能成为命题公式。

命题公式（propositional formula） 亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出，例如，在一个具有五个联结词

(1) 单个命题变元本身是一个命题公式；
(2) 如果 是命题公式，则 是命题公式；
(3) 如果 和 是命题公式，则 ，，， 均为命题公式；
(4) 当且仅当有限次的应用 1～3 条所得到的包含命题变元，联结词和括号的符号串是命题公式。

因此，根据上述定义，， 等是公式，而，等都不是公式。

有了联结词的合式公式概念，我们可以把自然语言中的有些语句，翻译成数理逻辑中的符号形式。

命题公式的真值表

设 是出现在公式 中的所有命题变元，指定 一组真值，则这组真值称为 的一个解释或指派，常记为 。

一般来说，若有 个命题变元，则应有

将公式 在其所有可能指派下的真值情况列成表，称为

(1) 永真公式（重言式）：给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为 ，则称该命题公式为重言式或永真式。
(2) 永假公式（矛盾式）
(3) 蕴合式： 当且仅当 是一个重言式时，我们称“ 蕴合 ”，并记作

重言式

定义： 重言式就是永真公式
定理： 任何两个重言式的合取或析取，仍然是一个重言式。
定理： 一个重言式，对同一分量用任何公式置换，其结果仍为重言式。
定理： 设 ， 为两个命题公式， 当且仅当

证明公式为重言式的方法：真值表法和等价公式推导。

例：

//TODO

蕴合式

若 是一个永真式，则称“ 蕴含 ”，记为 。

定理： 设 、 为任意两命题公式， 的充分必要条件是 且 。
蕴合式性质： 设 为合式公式，若 ，且 为重言式，则 必是重言式；
蕴合式性质： 若 ， 则 。即蕴含关系是传递的。
蕴合式性质： 若 且 ，那么 。
蕴合式性质： 若 且 ，则

对 来说：
称作它的逆换式；
称作它的反换式；
称作它的逆反式；
有如下关系：

证明

(1) 用 真值表法 、推导法 证明 (用定义)
(2) 用分析方法证明 ，有两种分析法
a. 假设前件 为真时推出后件 也为真，则 ；
b. 假设后件 为假时，推出前件 也为假，则；

例：

//TODO

命题公式的等价公式

设 、 是公式，如果在任意分量指派下， 与 的真值相同，则称公式 、 是等价的，记作 。

例： 证明

证明两个公式等价的方法：真值表法和等价公式推导。

特别提示：必须牢记这 16 组等值式

命题公式的对偶式

在给定的命题公式 中，将联结词 换成 ， 换成 ，若有特殊量 和 ，则 换为 ， 换为 ，所得公式 称为公式 的对偶式。

命题公式的范式

从真值表和对偶律等可以简化或推证一些命题公式。同一命题公式可以由各种相互等价的表达形式，为了把命题公式规范化，下面讨论命题公式的范式问题。

范式的概念

合取范式： 一个命题公式称为合取范式，当且仅当它具有型式：，其中 都是由命题变元或其否定所组成的析取式（注意这里）。

析取范式： 一个命题公式称为析取范式，当且仅当它具有型式：，其中 都是由命题变元或其否定所组成的合取式（注意这里）。

注意：
(1) 析取范式、合取范式仅含联结词 ；
(2) 联结词 仅出现在命题变元前；

范式的求解方法

范式存在定理：对于任意命题公式，都存在与其等价的析取范式和合取范式。

求任意命题公式的合取范式或析取范式：
(1) 利用等价公式中的等价式和蕴涵式将公式中的 、 用联结词 、 和 来取代；
(2) 重复使用德·摩根定律将 移到各个命题变元的前端，并消去多余的 ；
(3) 重复利用分配律、结合律，可将公式规约为合取范式（合取式的析取）或析取范式（析取式的合取）；

注意：范式的不惟一性。

考虑公式：

其与之等价的析取范式：

由此产生了主析取范式和主合取范式的概念。
一个命题公式的主析取范式和主合取范式是唯一的。

主范式之小项和主析取范式

小项： 个命题变元 、、、、的合取式中，若每个命题变元与其否定不同时存在，但二者之一恰好出现一次且仅一次，则称此合取式为关于

越重合越小。

对于 个命题变元，可构成

例：
(1) 一个命题变元 对应的小项有两个：、；
(2) 两个命题变元 、 对应的小项有四个：
、、、；

小项（整个合取式为小项）的性质：
没有两个小项等价；
每个小项当其真值指派与对应的编码相同时，真值为 1，其它情况均为 0；
任意两个不同小项的合取（$ \land ；

主析取范式： 给定的析取范式中，每一个合取式都是小项，则称该范式为主析取范式。

对于一个命题公式的主析取范式，如将其命题变元的个数及出现次序固定后，则此公式的主析取范式便是唯一的，因此，给定任两个公式，由主析取范式可以方便地看出两个公式是否等价。

求主析取范式的方法：

(a) 真值表法

定理： 命题公式对应的真值表中真值结果为真的所有的行，找到其每一个分量指派所对应的小项将这些极小项进行析取即可得到相应的主析取范式。

例： 求公式 ， 和

第一步画图真值表

第二步找到每个公式所有真值为 T 的时候， 和

比如命题公式 分别在 ， 和 时为 。

则

例： 求公式

//TODO

(b) 等价公式推导法

(1) 先求出该公式所对应的析取范式；
(2) 去掉重复出现的命题变元、析取范式中的永假式；
(3) 若析取范式的某一个合取式缺少该命题公式中所规定的命题变元，则可用公式： 将命题变元 补进去，并利用分配律展开；
(4) 将相同的小项合并，同时利用交换律进行顺序调整，由此可转换成标准的主析取范式；

例： 求公式

//TODO

主范式之大项和主合取范式

大项： 在含有 个命题变元 的析取式中，若每个命题变元与其否定不同时存在但二者之一恰好出现一次且仅一次，则称此析取式为关于 的一个大项。
对于 个命题变元，可构成 个大项。

越

例：
(1) 一个命题变元 ，对应的极大项有两项：；
(2) 两个命题变元 对应的极大项有四项：；

大项的性质:
(1) 没有两个大项等价；
(2) 每个大项当其真值指派与对应的编码相同时，真值为 0，其它情况均为 1；
(3) 任意两个不同大项的析取为永真式；
(4) 所有大项的合取为永假公式；

主合取范式： 给定的合取范式中，每一个析取式都是大项，则称该范式为主合取范式。

求主合取范式的方法：

(a) 真值表法
公式对应的真值表中真值结果为假的所有的行，找到其每一个解释所对应的大项，将这些大项进行合取即可得到相应的主合取范式。

例： 求公式

//TODO

(b) 等价公式推导法
(1) 先求出该公式所对应的合取范式；
(2) 去掉重复出现的命题变元、合取范式中的永真式；
(3) 若合取范式的某一个析取式缺少该命题公式中所规定的命题变元，则可用公式： 将命题变元 补进去，并利用分配律展开；
(4) 相同的小项合并，同时利用交换律进行顺序调整，由此可转换成标准的主合取范式；

例： 求公式

//TODO

主析取范式和主合取范式之间的转换

范式的作用

1. 判断公式类型
2. 判断公式是否等价
3. 判断公式为真或为假的分量指派

命题演算中的推理规则

设 是两个命题公式。当且仅当 为重言式，即 ，称 是 的有效结论，或 可由 逻辑推出。
推广:设 是命题公式。当且仅当公式 ，称 是一组前提 的有效结论。

判别有效结论的过程就是论证过程，论证方法千变万化，但基本方法是真值表法、直接证法和间接证法。

判断有效结论的常用方法：

1. 真值表法： 仅适用于命题变元少的情况。
2. 直接证法：由一组前提，利用一些公认的推理规则，根据已知的等价或蕴含公式，推演得到有效的结论。P规则，T规则
3. 间接证法： (1) 反证法（归缪法） (2) CP 规则
4. 利用定义： 当且仅当

谓词逻辑

命题逻辑能够解决的问题是有局限性的。只能进行命题间关系的推理，无法解决与命题的结构和成分有关的推理问题。
谓词逻辑这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间。对此，命题逻辑将无能为力。

命题逻辑只考虑逻辑连接词的逻辑特性不考虑命题本身，谓词逻辑既考虑连接词的逻辑特性，还深入分析到命题内部考虑谓词及其量词的逻辑特性。
命题逻辑显然可以看作谓词逻辑的一个子集。 因为谓词逻辑中一般是允许出现 0 元谓词的。全部由 0 元谓词的构成的公式就是命题逻辑公式了。
当论域为一个大小确定的有限集时，一个谓词公式可以等价地转化成一个命题逻辑公式。
一阶谓词逻辑是命题逻辑的推广，二阶谓词逻辑是一阶谓词逻辑的推广。

谓词的概念与表示

命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。

这个图很好的展示了，原子命题，个体词，谓词和命题函数之间的关系。

个体(客体)： 不依赖于人的主观而客观存在的实体，可以是具体的物体，也可以是抽象概念。
个体常元： 具体的事务，用a,b,c表示
个体变元： 抽象的事物，用x,y,z表示
个体域(论域)： 一个客体变元的取值范围；有限个体域，如，无限个体域，如 ；全总个体域，由宇宙间一切事物组成。
谓词： 表示个体词性质或相互之间关系的词，一元谓词()表示性质，如：： 具有性质 ；多元谓词()表示事物之间的关系，如 ： 与 有关系 。

一般用大写字母表示谓词，用小写字母表示客体名称。
用谓词表达命题，必须包括客体和谓词字母两个部分。
单独一个谓词不是完整命题，把谓词字母后填上客体所得的式子称为谓词填式。谓词和谓词填式是两个不同的概念。
一般地说， 元谓词需要 个客体名称插入到固定地位置上，如果 为 元谓词， 是客体的名称，则 就可成为一个命题（一个谓词填式可以成为一个命题）。

单纯的谓词或单纯的个体词都无法构成一个完整的逻辑含义，只有将它们结合起来时才能构成一个独立的逻辑断言。

例： 他是三好学生，哥白尼指出地球绕着太阳转。
“是三好学生”，“指出”，是谓词，分别用大写字母 和 表示；
客体名称"他"和哥白尼和地球绕着太阳转分别用小写字母a,b,c表示。

则，，B(b,c) 是谓词填式，这样的谓词填式可能是一个命题。

命题函数

由一个谓词，一些客体变元组成的表达式称为简单命题函数。
由一个或 个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。

例： 表示 小于 ，那么， 是一个命题函数而不是一个命题。当取定一个值时，如 表示一个真命题，

逻辑联结词在复合命题函数中与命题演算中的解释完全相同。

例： 设 表示 学习好，表示 工作好，则 表示 学习不好， 表示 工作不好，当 指人时是命题，。

命题函数中客体变元的论域的量词

例：
若 解释为“ 小于 ”，当 都在实数域中取值时，为永真式。
若 解释为“ 为 的儿子”，当 都指人为永假式。
若 解释为“ 距 米”，当 表示地面上的房子，则该式可能为 ，也可能为 ，由

命题函数确定为命题与客体变元的个体域有关。

**个体域：**在命题函数中，客体变元的论述范围称作个体域。
**全总个体域；**个体域可以是有限的，也可以是无限的，把各种个体域综合在一起作为论述范围的域称全总个体域。

全称量词： ，所有的 ；任意的 ；一切的 ；每一个 ；等等。
存在量词： ，有些 ；至少有一个 ；某一些 ；存在 ；等等。

谓词逻辑符号化的两条规则
注意：题目中没给个体域，一律用全总个体域
引入特性谓词 :

默认情况下，所有命题函数的个体域全部统一使用全总个体域，然后客体变元的变化范围用特性谓词（一元谓词表性质）加以限制。这种特性谓词在加入到命题函数中时必定遵循如下原则：
(1) 对于全称量词()，刻划其对应个体域范围的特性谓词作为蕴涵式之前件加入。
(2) 对于存在量词()，刻划其对应个体域范围的特性谓词作为合取式之合取项加入。

例:
(1) 所有的人都要死。
(2) 有的人活到百岁以上。
现将这两个命题符号化，在符号之前必须明确个体域

第一种情况：考虑个体域 。
(1) 命题符号化为 ，其中 ： 是要死的，命题为真。
(2) 命题符号化为 ，其中 ：

第二种情况：考虑个体 为全总个体域（所有个体域的综合）。则
(1) 表示宇宙间一切事物都是要死的，这与原命题不符；
(2) 表示在宇宙间一切事物中存在百岁以上的，不符合题意；
引进一个特性谓词 ： 是人，有了特性谓词后，符号化为：

例： 在一阶逻辑中将下面命题符号化
(1) 人都爱美
(2) 有人用左手写字

个体域分别为
(a) 为人类集合
(b)

解：
(a)
(1) ，： 爱美
(2) ，：

(b)
: 为人（特性谓词），: 爱美
(1)
(1)

谓词公式

原子谓词公式 = 命题变元 + 客体变元
谓词公式 = 原子谓词公式 x n + 逻辑联结词 + 量词；

谓词公式中的变元的约束

指导变元（作用变元）
作用域（辖域）
自由变元
元谓词
约束变元的换名
自由变元的代入

给定 为一个谓词公式，其中有一部分公式形式为 或 。这里 ， 后面所跟的 叫做量词的指导变元或作用变元（ 中的第一个 是指导变元或作用变元）， 叫做相应量词的作用域或辖。在作用域中 的一切出现，称为 在 中的约束出现。 亦称为被相应量词中的指导变元所约束。在 中除去约束变元以外所出现的变元称作自由变元。自由变元是不受约束的变元，虽然它有时也在量词的作用域中出现（比如 中的 ），但它不受相应量词中指导变元的约束，故我们可把自由变元看作是公式中的参数。

从约束变元的概念可以看出， 是 元谓词，它有 个相互独立的自由变元，若对其中 个变元进行约束，则成为 元谓词，因此，谓词公式中如果没有自由变元出现，则该式就成为一个命题。例如， 是二元谓词。

为了避免由于变元的约束与自由同时出现，引起概念上的混乱，故可对约束变元进行换名。使得一个变元在一个公式中只呈一种形式出现，即呈自由出现或呈约束出现。
采用如下二规则：

约束变元的换名

对公式 中的约束变元更改名称符号，这种遵守一定规则的更改，称为约束变元的换名。其规则为：
(1) 对于约束变元可以换名，其更改的变元名称范围是量词中的指导变元，以及该量词作用域中所出现的该变元，在公式的其余部分不变。
(2) 换名时一定要更改为作用域中没有出现的变元名称。

将量词辖域中出现的某约束出现的个体变项及对应的指导变项改成另一个在辖域中未曾出现的个体变项，其余不变。

自由变元的代入

对于公式中的自由变元，也允许更改，这种更改叫做代入。自由变元的代入，亦需遵守一定的规则，这个规则叫做自由变元的代人规则，现说明如下：
(1) 对于谓词公式中的自由变元，可以作代入，代入时需对公式中出现该自由变元的每一处进行。
(2) 用以代入的变元与原公式中所有变元的名称不能相同。

将某自由变项用与公式中所有个体变项不同的变项符号代替且处处代替。如果谓词公式（例如 ）前，没有全称量词或者存在量词的约束，可以把 换成另一个字母，和其他谓词公式中的

谓词公式的等价关系和蕴含关系

[定义] 若两个谓词公式 和 有共同的论域 ，且在任何解释下 与 有相同的真值，则称谓词公式 与 在 上等价，记作作 或。

谓词公式是永真的；
谓词公式是不可满足的；
谓词公式是可满足的；

[定义] 若两个谓词公式 和 有相同的论域，且在任何解释下 为 ，则称谓词公式 蕴含 ，记作 。

量词转化律

(1) 不是对于所有的 都 等价于存在 不 ；
(2) 不存在 等价于对于所有的 不 ；
(3) 出现在量词之前的否定，不是否定该量词，而是否定被量化了的整个命题。

量词辖域扩张及收缩律

设命题 中不出现约束变元 ，则有：

当谓词的变元与量词的指导变元不相同时，亦能有上述类似的公式（将上式中的 变为 ）。

量词分配律（★★★★★）

量词对各个联结词的分配律。

对任意谓词公式 和 有：
逻辑等价：

逻辑蕴含：
设 ， 是谓词公式，若 为永真式，则 永真蕴含 ，记为。

多个量词的使用

一句话总结：前四个是大范围推小范围。全称量词和存在量词在公式中出现的次序，不能随意更换，后不同约束变元的存在（存在量词）和所有（全称量词）可以交换。

例： 利用谓词之间的等价关系证明下列公式之间的关系：

谓词公式的标准型——前束范式

如果公式中的一切量词都位于该公式的最前端（不含否定词）且这些量词的辖域都延伸到公式的末端，称公式是一个前束范式。

例： 求下列公式的前束范式
(1)
解：

后两步结果都是前束范式，说明谓词公式的前束范式不惟一。

(2)

谓词逻辑中的任一公式都可化为与之等价的前束范式，但其前束范式并不唯一。

求谓词公式的前束范式：

求解过程总结：把各个子式之前的量词换成一个，然后用量词的分配律合起来；

设 是任一公式，通过下述步骤可将其转化为与之等价的前束范式：
(1) 消去多余的量词；
(2) 约束变元的换名和自由变元的代入；
(3) 消去公式中包含的联结词 ，；
(4) 反复运用德摩根定律，直接将 内移到原子谓词公式的前端；
(5) 使用谓词的等价公式将所有量词提到公式的最前端；

例： 求

解：
(1) 消去联结词 ，得：。
(2) 内移，得：
(3) 量词左移，得：

即： 为原式的前束范式，这里

谓词演算的推理理论

设 和 都是谓词公式。若 为永真式，即 。则称由前提 推出结论 的推理正确（有效）。

称为前提 的有效结论或逻辑结果。

称为由前提 推出结论 的推理的形式结构。

谓词逻辑中常用的推理规则其来源可分为两类：
(一) 命题逻辑中的所有推理规则
如规则 ， 及 规则，反证法等亦可在谓词演算的推理中应用，只是应将各规则中的命题公式理解为谓词公式。
谓词演算的推理方法可视为命题演算推理方法的扩张。
(二) 谓词逻辑中特有的推理规则
(1) 谓词演算中与量词有关的基本的永真蕴含式和逻辑等价式；
(2) 量词的消去或添加规则
在谓词演算的推理中，某些前提或结论会受到量词的限制，为了使用命题演算中的等价式和蕴含式，必须有消去或添加量词的规则。

量词的消去或添加规则

全称指定规则（

如果个体域 中所有的个体都具有性质 ，则 中每一个个体 (个体常元、个体变元) 都具有性质 。

两式成立的条件是：
(1) 是 中自由出现的个体变元。
(2) 在 (1) 式中， 为任意的不在 的个体变元，特别地， 可取 。
(3) 在 (2) 式中， 为任意的个体常元。

例： 设个体域 为实数集，谓词 : 。则 : 对任意的实数 ，都存在实数 ，使 。(真命题)

则下列推理正确的是：()

(1)
(2)
(3)
(4)

答案：正确， 出错的原因是 已在

全称推广规则（UG 规则）

如果个体域 中每一个个体都具有性质 ，则 中所有的个体都具有该性质

该式成立的条件是
(1) 是 中自由个体变元，且 取个体域 中的任何值时
均为真。
(2) 取代 的 不能是 ，否则也会产生错误。
注：使用本规则时，事先必须已经验证了对个体域中的每在个 ，

存在指定规则（

如果个体域 中存在具有性质 的个体，则 中必有某一个个体 (个体常元) 具有该性质 。

该式成立的条件是：
(1) 是 中自由出现的个体变元。
(2) 是使 的个体常元，且此 在该推导前(包括在 中) 从未使用过。
(3) 若 中除自由出现的 以外，还有其他自由个体变元时，不能使用此规则。

例： 设个体域 为整数集，谓词 是奇数，

推理过程如下：
(1)
(2)

则 ， 都是真命题，但 假，出错原因: (2) 中的 已在 (1) 被指定了，已是一个特定的值。(2) 应改为: ，

例： ，出错原因: 的确定还与 有关。应改为: 。

存在推广规则（

如果个体域 中某个个体 (个体常元、个体变元)具有性质 ，则 中存在着具有该性质

两式成立的条件是
(1) 是使 的个体常元。
(2) 是使 的自由个体变元。
(3) 取代 或 的 不能在 或 。

例： 设个体域 为实数集
(a) 谓词 ：
则下列推理正确的是：

(1)
(2)
1对2错

(b) 谓词 ：
则下列推理正确的是：

(1)
(2)

1错2对

使用时的注意事项：

(1) 量词的消去或添加规则只对前束范式(即辖域为整个公式)的量词成立，不能对出现在公式中间的量词使用它们。
(2) 使用时，要严格按照限制条件去使用，并从整体上考虑个体常元和个体变元符号的选择。
(3) 用 或 取代 中自由出现的 时，一定要在

数理逻辑总结

命题公式中的命题变元的最小粒度是命题。命题公式中的命题变元之间，可以通过下面的联结词来联结。

否定联结词：，非
合取联结词： 与、且
析取联结词：，或
条件联结词：，“若…则…”“如果…就."“只有…才…”
等价联结词（双条件联结词）：，当且仅当

并析交合。

命题公式的等价：
命题公式的蕴含：

谓词公式的等价：
谓词公式的蕴含：

分析一个命题中的谓词可以构成一个命题函数，函数的参数是客体。
命题公式没有真值但是有真值表。

1. 什么时候翻译成命题公式？
2. 什么时候翻译成命题函数？
3. 谓词逻辑翻译技巧：主系表中的系表是谓词，表性质；主谓宾中的谓语是谓词，表主和宾的关系。