学习阶段:自由。
前置知识:基本的逻辑思维。
很多人连基本的逻辑关系都搞不清,在这个系列科普一下离散数学中的数理逻辑。
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的命题公式。如
是仅可满足式。
还有诸如可满足式、非永真式等等类别,如下图所示:命题公式的分类