离散数学——命题及联结词

1. 命题及其表示

（1）命题：非真即假的陈述句。

（2）真值：命题的判断结果。只有两个值：真或假。

1）一个命题如果是对的或正确的，则称为真命题，其真值为“真”，用1表示。

2）一个命题如果是错的或不正确的，则称为假命题，其真值为“假”，用0表示。

例：判断下面句子是否是命题，以及是什么命题。

①重庆是直辖市。（真命题，1）

②1+2=3。（真命题，1）

③3是偶数。（假命题，0）

④现在是几点？（不是命题）

2. 命题联结词

（1）否定：记作“¬”，相当于“非”、“不”，命题P的否定记为“¬P”。

否定的真值表：

P	¬P
1	0
0	1

（2）合取：记作“∧”，相当于“且”、“和”，命题P和Q的合取记为“P∧Q”。

合取的真值表：（一假则假）

P	Q	P∧Q
1	1	1
1	0	0
0	1	0
0	0	0

例1：小明和小刚都是大学生。

解：设P：小明是大学生，Q：小刚是大学生，则原命题符号化为P∧Q。

例2：小丽即聪明，又能干。

解：设P：小丽聪明，Q：小丽能干，则原命题符号化为P∧Q。

例3：小李聪明但不努力。

解：设P：小李聪明，Q：小李努力，则原命题符号化为P∧¬Q。

（3）析取：记作“∨”，相当于“或”，命题P和Q的析取记为“P∨Q”。

析取的真值表：（一真则真）

P	Q	P∨Q
1	1	1
1	0	1
0	1	1
0	0	0

例：今天晚上我在家看电视或听音乐。

解：设P：今天晚上我在家看电视，Q：今天晚上我在家听音乐

则原命题符号化为P∨Q。

（4）蕴涵/单条件：记作“→”，相当于“如果…那么…”、“因为…所以…”，“P→Q”读作“如果P，那么Q”。

蕴涵的真值表：

P	Q	P→ Q
1	1	1
1	0	0
0	1	1
0	0	1

例1：如果天下雨，那么我们在室内活动。

解：设P：天下雨，Q：我们在室内活动，则原命题符号化为P→Q。

例2：只有天下雨，我们才在室内活动。

解：设P：天下雨，Q：我们在室内活动，则原命题符号化为 Q→P。

（5）双条件：记作“⇔”，相当于“当且仅当”、“充要条件”，“P⇔Q”读作“P当且仅当Q”。

双条件的真值表：

P	Q	P⇔ Q
1	1	1
1	0	0
0	1	0
0	0	1

例：秋天到了，燕子南飞。

解：设P：秋天到了，Q：燕子南飞，则原命题符号化为  P⇔Q。