离散数学之一 命题逻辑

---

一、命题及其表示方法

1、命题的定义

具有具体意义的又能判断真假的陈述句，称为命题。

2、命题的3要素

• 命题必须是能判断真和假陈述句。(疑问句、祈使句和
  感叹句等均不是命题。)
• 命题的真或假这两种结果有且仅有一种出现。
• 虽然要求命题能判断真假，但不要求现在就能确定真
  假，将来可以确定真假也可以。

3、命题的真值

陈述句为真或为假的这种性质，称为命题的真值。

①真值为真的命题称为真命题，真值为假的命题称为假命题。任何
命题的真值是唯一的，即一个命题只有一个“值”。
②在命题逻辑中对命题不再细分，因而命题是数理逻辑中最基本的
也是最小的研究单位

举例：

4、命题标识符

表示命题的符号称为命题标识符，常用大写字母、带
下标的大写字母或数字表示，如P，A1，[12]。

5、命题常元、命题变元

命题常元：表示具体确定内容的命题，即命题常元有确定的真值。
命题变元：没有意义的、没有赋予具体内容的抽象命题，即命题
变元的真值待定。只有当用某具体命题带入命题变元后，它才有确
定的真值。

6、原子命题、复合命题

原子命题：命题是一个简单的陈述句时称为简单命题。
复合命题：由若干个原子命题经过联结词复合而成的陈述句。（可
以分解成多个原子命题）

---

二、联结词

在命题演算中也有类似日常生活中的联结词，称为命 题联结词。下面介绍五种常用的命题联结词及相应的
真值表。

1、否定词 “¬”

◆ 符号“¬”，读作“非”或“否定”。
◆ 设命题为P，则在P的前面加否定词¬，变成¬P，构成的复合
命题为P的否命题，读做“P的否定”或“非P”。¬P为真当
且仅当P为假。

2、合取“∧”

◆ 符号“∧”，读作“合取”，“与”或“并且”。
◆ 设P，Q为两个命题，则P∧Q称P与Q的合取，读作：“P与 Q”、“P与Q的合取”、“P并且Q”等。P∧Q为真当且仅
当P与Q均取值为T。

3、析取“∨”

◆ 符号“∨”，读作“析取”，“或”。
◆ 设P，Q为两个命题，则P∨Q称P与Q的析取，读作：“P或 Q”、“P与Q的析取”等。P∨Q为假当且仅当P与Q取值均
为F。

4、条件 “→”

◆ 设P，Q为两个命题，则P→Q是一个复合命题，其中P称为
条件的前件(条件/前提/假设)，Q称为条件的后件(结论)，读
作：“如果P，那么Q”、“若P则Q”等。P→Q为假当且仅
当P为真Q为假，否则P→Q为真。

5、双条件 “ ”

◆ 设P，Q为两个命题，其复合命题P<—>Q称作双条件命题，读 作“P当且仅当Q”。当P与Q的取值相同时，P<—>Q的真值为
T，否则P<—>Q的真值为F。

5、小技巧

1）命题的真假是客观上的
2）
①不、不是、非、否、没有等用否定连接词
②和、且、一边一边、不仅而且、虽然但是、即又等用合取
③或者用析取（不可兼或/表示概数不能用析取）
④如果那么、若则、只有才、只要才、仅当、除非用条件
（如果就按顺序写，除非改为如果就，只有/仅当后为必要条件，后件为前件的必要条件，前件为后件的充分条件 ）
⑤当且仅当用双条件

---