[离散数学]命题逻辑P_2：命题联结词

---

前言

第二讲：命题逻辑

数理逻辑，就是用数学的方法研究逻辑推理的规律。

命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。

本文命题联结词是命题逻辑的第二部分。

---

1. 引入

注意

回顾复合命题中，一般是通过联结词和标点符号将简单命题联结成复杂的语句，最常见的联结词主要有以下五种:
“或者”、“并且”、“不”、“如果……则……”、“当且仅当”

例子

1. 四川不是一个国家；
2. 3既是素数又是奇数；
3. 张谦是大学生或是运动员；
4. 如果周末天气晴朗，则我们将到郊外旅游；
5. 两个三角形全等当且仅当三角形的三条边全部相等。

---

2. 否定联结词

定义

设$P$是任意一个命题，复合命题“非$P$”（或“P的否定”）称为$P$的否定式（negation），记作$\neg P$，“$\neg$”为否定联结词。$P$为真当且仅当$\neg P$为假。

例子

• $P$：四川是一个国家。
• $\neg P$：四川不是一个国家。

$P$	$\neg P$
0	1
1	0

“$\neg$”是自然语言中的“非”、“不”、“没有”等的逻辑抽象。

---

3. 合取联结词

定义

设$P、Q$是任意两个命题，复合命题“$P$并且$Q$”（或“$P$和$Q$”）称为$P$与$Q$的合取式（conjunction），记作$P\wedge Q$，“$\wedge$”为合取联结词。$P\wedge Q$为真当且仅当$P$，$Q$同为真。

例子

• $P：3$是素数；
• $Q：3$是奇数。
• $P\wedge Q：3$既是素数又是奇数。

$P$	$Q$	$P\wedge Q$
0	0	0
1	1	0
1	0	0
1	1	1

注意

“$\wedge$”是自然语言中的“并且”、“既…又…”、“但”、“和”、“与”、“不仅…而且…”、“虽然…但是…”、“一面…，一面…”等的逻辑抽象；但不是所有的“和”，“与”都要使用合取联结词表示，要根据句子的语义进行分析。

“但”、“虽然…但是…”：对内容有转折含义，在逻辑上呈合取 - 同时发生。

例子

1. 2和3的最小公倍数是6；
2. 点a位于点b与点c之间。

这两个命题是简单命题，不能再分。

---

4. 析取联结词

定义

设$P、Q$是任意两个命题，复合命题“$P$或$Q$”称为$P$与$Q$的析取式(disjunction)，记作$P\vee Q$，“$\vee$”为析取联结词。$P\vee Q$为真当且仅当$P$，$Q$至少有一个为真。

例子

• $P$：张谦是大学生；
• $Q$：张谦是运动员。
• $P\vee Q$：张谦是大学生或是运动员。

$P$	$Q$	$P\vee Q$
0	0	0
0	1	1
1	0	1
1	1	1

注意

联结词“$\vee$”是自然语言中的“或”、“或者”等的逻辑抽象。自然语言中的“或”有“可兼或”（或称为同或）、“不可兼或”（即异或）两种。严格来讲，析取联结词实际上代表的是可兼或，异或有时会使用单独的异或联结词“$\oplus$”或“$\overline{\vee }$”来表示。

暂时可以使用可兼或来替代不可兼或，不会对现阶段逻辑推理造成影响。

例子

命题：张红生于1982年或1983年，令

1. $P$：张红生于1982年；
2. $Q$：张红生于1983年。

$P$与$Q$不能同时为真，即为“不可兼或”。

---

5. 蕴涵联结词

定义

设$P、Q$是任两个命题，复合命题“如果$P$，则$Q$”称为$P$与$Q$的蕴涵式(implication)，记作$P\to Q$，“$\to$”为蕴涵联结词。$P\to Q$为假当且仅当$P$为真且$Q$为假。一般把蕴含式$P\to Q$中的$P$称为该蕴含式的前件，$Q$称为蕴含式的后件。

例子

• $P$：周末天气晴朗；
• $Q$：我们将到郊外旅游。
• $P\to Q$：如果周末天气晴朗，则我们将到郊外旅游。

$P$	$Q$	$P\to Q$
0	0	1
0	1	1
1	0	0
1	1	1

当$P$为真时，$Q$为真则$P\to Q$为真；$Q$为假则$P\to Q$为假。
当$P$为假时，为何$P\to Q$都为真呢？

注意

在自然语言中，前件为假，不管结论真假，整个语句的意义，往往无法判断。但对于数理逻辑中的蕴涵联结词来说，当前件$P$为假时，不管$Q$的真假如何，则$P\to Q$都为真。此时称为“善意推定"。

例子

命题：如果角$A$和角$B$是对顶角，则角$A$等于角$B$。真命题

这个命题是我们非常熟悉的一个定理，为真命题。
所以当前件为假时，这个定理依然成立。

蕴涵联结词示例

设$P$：约翰学习微积分，$Q$：约翰是大学一年级学生
。则以下的复合命题均可用$P\to Q$表示。

1. 如果约翰学习微积分，则他是大学一年级学生。如果$P$，则$Q$
2. 因为约翰学习微积分，所以他是大学一年级学生。因为$P$，所以$Q$
3. 只要约翰学习微积分，他就是大学一年级学生。只要$P$，就$Q$
4. 约翰学习微积分仅当他是大学一年级学生。$P$仅当$Q$
5. 只有约翰是大学一年级学生，他才能学习微积分。只有$Q$，才$P$
6. 除非约翰是大学一年级学生，他才能学习微积分。除非$Q$，才$P$
7. 除非约翰是大学一年级学生，否则他不学习微积分。除非$Q$，否则$\neg P$

所有七种情况表达$P$是$Q$的前提条件，如果$P$则$Q$，即$P\to Q$。

---

5. 蕴涵联结词

定义

设$P$、$Q$是任两个命题，复合命题“$P$当且仅当$Q$”称为$Р$与$Q$的等价式(equivalence)，记作$P\leftrightarrow Q$，“$\leftrightarrow$”为等价联结词（也称作双条件联结词）。$P\leftrightarrow Q$为真当且仅当$P$、$Q$同为真假。

例子

• $P$：两个三角形全等；
• $Q$：三角形的三条边全部相等。
• $P\leftrightarrow Q$：两个三角形全等当且仅当三角形的三条边全部相等。

$P$	$Q$	$P\leftrightarrow Q$
0	0	1
0	1	0
1	0	0
1	1	1

“$\leftrightarrow$”是自然语言中的“等价”、“充分必要条件”、“当且仅当”等的逻辑抽象。

---

总结

本文介绍了命题逻辑中的命题联结词部分，对命题逻辑有进一步的了解。