1-2 联结词

夏驰和徐策

于 2024-05-20 08:56:21 发布

阅读量893

点赞数 10

分类专栏：程序猿数学之离散数学文章标签：离散数学

本文链接：https://blog.csdn.net/tang7mj/article/details/139052690

版权

程序猿数学之离散数学专栏收录该内容

28 篇文章 7 订阅

订阅专栏

1-2 联结词

在自然语言中，常常使用“或”、“与”、“但是”等一些联结词，对于这些联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成。联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。

否定

定义1-2.1 设P为一个命题，P的否定是一个新的命题，记作¬P。若P为T，¬P为F；若P为F，¬P为T。联结词“¬”表示命题的否定。否定联结词有时亦可记作“~”。

例子：

P: 上海是一个大城市。
¬P: 上海并不是一个大城市。
¬P: 上海是一个不大的城市。

这两个命题用同一符号¬P表示，因为在汉语中这两个命题具有相同的意义。“否定”的意义仅是修改了命题的内容，我们仍把它看作联结词，它是一个一元运算。

合取

定义1-2.2 两个命题P和Q的合取是一个复合命题，记作P ∧ Q。当且仅当P和Q同时为T时，P ∧ Q为T，在其他情况下，P ∧ Q的真值都是F。联结词“∧”的定义如表1-2.2所示。

表1-2.2 合取

P	Q	P ∧ Q
T	T	T
T	F	F
F	T	F
F	F	F

例子1：

P: 今天下雨。
Q: 明天下雨。
P ∧ Q: 今天下雨而且明天下雨。
P ∧ Q: 今天与明天都下雨。
P ∧ Q: 这两天都下雨。

显然，只有当“今天下雨”与“明天下雨”都为真时，“这两天都下雨”才是真的。

例子2：

P: 我们去看电影。
Q: 房间里有十张桌子。
P ∧ Q: 我们去看电影与房间里有十张桌子。

在自然语言中，上述命题是没有意义的，因为P与Q没有内在联系，但作为数理逻辑中P和Q的合取P ∧ Q来说，它仍可成为一个新的命题，只要按照定义，在P、Q分别取真值后，P ∧ Q的真值也必确定。

命题联结词“合取”甚至可以将两个互为否定的命题联结在一起，这时其真值永远为F。命题联结词“合取”也可以将若干个命题联结在一起。“合取”是一个二元运算。

析取

定义1-2.3 两个命题P和Q的析取是一个复合命题，记作P ∨ Q。当且仅当P和Q同时为F时，P ∨ Q的真值为F，否则P ∨ Q的真值为T。联结词“∨”的定义如表1-2.3所示。

表1-2.3 析取

P	Q	P ∨ Q
T	T	T
T	F	T
F	T	T
F	F	F

从析取的定义可以看到，联结词“∨”与汉语中的“或”的意义也不完全相同，因为汉语中的“或”可以表示“排斥或”，也可以表示“可兼或”。例如：

例子1：

今天晚上我在家看电视或去剧场看戏。

例子2：

他可能是100米或400米赛跑的冠军。

在例1中的“或”是“排斥或”，例2中的“或”是“可兼或”，而析取指的是“可兼或”。还有一些汉语中的“或”字，实际上不是命题联结词。

例子3：

他昨天做了二十或三十道习题。

这个例子中的“或”字，只表示了习题的近似数目，不能用联结词“析取”表达，例3是个原子命题。

条件

定义1-2.4 给定两个命题P和Q，其条件命题是一个复合命题，记作P → Q，读作“如果P，那么Q”或“若P则Q”。当且仅当P的真值为T，Q的真值为F时，P → Q的真值为F，否则P → Q的真值为T。我们称P为前件，Q为后件。联结词“→”的定义如表1-2.4所示。

表1-2.4 条件

P	Q	P → Q
T	T	T
T	F	F
F	T	T
F	F	T

例子：

例1：如果某动物为哺乳动物，则它必胎生。
例2：如果我得到这本小说，那么我今夜就读完它。
例3：如果雪是黑的，那么太阳从西方出。

上述三个例子都可用条件命题P → Q表达。在自然语言中，“如果…”与“那么…”之间常常是有因果联系的，否则就没有意义。但对条件命题P → Q来说，只要P、Q能够分别确定真值，P → Q即成为命题。此外，自然语言中对“如果…，则…”这样的语句，当前提为假时，结论不管真假，这个语句的意义往往无法判断。而在条件命题中，规定为“善意的推定”，即前提为F时，条件命题的真值都取为T。

在数学上和有些逻辑学的书籍中，“若P则Q”亦可叫作P蕴含Q，而本书在条件命题中将避免使用“蕴含”一词，因为在以后将另外定义“蕴含”这个概念。命题联结词“→”亦可记作“⊃”。条件联结词亦是二元运算。