数理逻辑蕴含_数理逻辑（1）——命题逻辑的基本概念

学习阶段：自由。

前置知识：基本的逻辑思维。

很多人连基本的逻辑关系都搞不清，在这个系列科普一下离散数学中的数理逻辑。

1. 命题

命题(proposition)就是非真即假的陈述句。命题的真假，称为真值，“真”记为T(True)或1，“假”记为F(False)或0. 因为真值只有两种，这种逻辑也称为二值逻辑。(在真值不止2种时，称为多值逻辑，或模糊逻辑，本系列不作介绍。)

比如说“三角形内角和为180°”是真命题；“三角形都是等边三角形”是假命题；哥德巴赫猜想是个命题，目前不知其真假。

数学上，为了符号化，用字母来表示任意命题，称为命题变项/命题变元。例如，可以用

三个字母各表示一个命题。

2. 命题联结词

命题联结词(connective)可以把命题与命题联结起来，构成新的命题。命题联结词是命题的运算符，相当于1+2中的“加号”。

2.1 常用的五个命题联结词

常用的命题联结词有

五个。用真值表可以清晰地描述命题联结词的作用。否定词

否定词(negative)作用于1个命题，类似于生活中的“非”。

读法：

读作“

”。

定义：

为真，当且仅当

为假。真值表：否定词的真值表合取词

合取词(conjunction)作用于2个命题，类似于生活中的“且”。

读法：

读作“

”或“

”。

定义：

为真，当且仅当

和

都为真。真值表：合取词的真值表析取词

析取词(disjunction)作用于2个命题，类似于生活中的“或”。【析：分析，分开。析取：即分开取。】

读法：

读作“

”或“

”。

定义：

为假，当且仅当

和

都为假。真值表：析取词的真值表蕴含词

蕴含词(implication)作用于2个命题，类似于生活中的“推出；如果...，那么...”。

读法：

读作“

”或者“

”。

定义：蕴含词有多种定义方式，我们这里介绍最常见的一种定义，

为假，当且仅当

真而

假。真值表：蕴含词的真值表

中，

称为前提/前件，

称为结论/后件。这个复合命题称为假言命题/条件命题。

【当

为假时，实际上

的情况是未知的。为了让蕴含词有一个明确的定义，本着不轻易进行否定的思想，作了这种定义。】双条件词/等价词

等价词(equivalence)作用于2个命题，类似于生活中的“当且仅当”。

读法：

读作“

”或者“

”。

定义：

为真，当且仅当

与

真值相同。真值表：等价词的真值表

2.2 相关符号

数理逻辑中的命题联结词，在其他领域也有类似的应用。例如集合论中的补集

、交集

、并集

；数字电路中的非运算

、与运算

、或运算

等等。

2.3 简写约定

为了简化书写，规定五个联结词的优先级顺序是

，左边的运算符比右边的运算符优先。另外，同级运算符从左往右算。比如说

的含义是

.

3. 命题公式的真值与分类

对于一个命题公式

，它的真值完全由其成分命题

所决定。对所有的成分命题进行一种赋值，称为一种指派(assignment)；一种指派再加上

对应的真值，称为命题公式

的一种解释(interpretation)。如下图真值表所示：指派与解释

含有

个成分命题的公式

有

种指派、解释，完整的真值表也就是

行。

根据命题公式的取值情况，可以对其进行分类：重言式/永真式(tautology)【重(chóng)言：反复说，犹指“废话”。】

即任一解释的真值都为1的命题公式。如

是重言式。矛盾式/永假式/不可满足式

即任一解释的真值都为0的命题公式。如

是永假式。仅可满足式/可真可假式

即解释中有的真值为1，有的真值为0的命题公式。如

是仅可满足式。

还有诸如可满足式、非永真式等等类别，如下图所示：命题公式的分类