数理逻辑

数理逻辑
[align=left]传统逻辑与数理逻辑。
逻辑一词源于希腊文，意思指：词、思想、理性、规律等。逻辑学研究的是：判别一个推理过程是否正确的标准。数理逻辑也叫符号逻辑，即用人工符号来书写逻辑法则，它是一门涉及数学、逻辑学、哲学等几门学科的横向交叉学科。传统逻辑用以表示命题形式和推理形式的是自然语言的某些词语，而自然语言是多义的，不适于用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性，以其特有的人工符号来书写逻辑法则，突出体现了方便、精确的优势。
数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。[/align]
一、命题的概念。
命题：能判断真假的陈述句。


500)this.style.width=500;">

例1、判断下列句子中哪些是命题。
(１) 北京是中国的首都。
(２) 雪是黑色的。
(３) 3×4＝12。
(４) 请把门关上！
(５) ｘ是有理数。
(６) 地球外的星球上也有人。
(７) 明天有课吗？
(８) 本语句是假的。
(９) 小明和小林都是三好生。
(10) 小明和小林是好朋友。
解：(1)、(2)、(3)、(6)、(9)、(10)是命题，(4)、(5)、(7)、(8)不是命题。
判断一个语句是否为命题，首先看是否为陈述句，再看其真值是否唯一。
注意："能判断真假"并不同于"已知真假"。


500)this.style.width=500;">

命题常项，命题变项均用

500)this.style.width=500;">表示。

二、逻辑联结词。


500)this.style.width=500;">

常用的联结词有

500)this.style.width=500;">这五种
1、"非ｐ"称为ｐ的否定式，记作

500)this.style.width=500;">ｐ
真值表：
 

500)this.style.width=500;">

例如：ｐ：11是素数；

500)this.style.width=500;">ｐ：11不是素数
ｐ取值1，

500)this.style.width=500;">ｐ取值0。
2、"ｐ并且ｑ"称为 ｐ，ｑ的合取式，记作ｐ∧ｑ。
真值表：


500)this.style.width=500;">

在例1.(9)中，ｐ：小明是三好生，ｑ：小林是三好生
则小明和小林是三好生表示为ｐ∧ｑ。
例2、设ｐ：李平聪明，ｑ：李平用功。
(1) 李平既聪明又用功。 …………ｐ∧ｑ
(2) 李平虽然聪明，但不用功。 …………ｐ∧

500)this.style.width=500;">ｑ
(3) 李平不但聪明，而且用功。 …………ｐ∧ｑ
(4) 李平不是不聪明，而是不用功。 …………

500)this.style.width=500;">（

500)this.style.width=500;">ｐ）∧

500)this.style.width=500;">ｑ
3、"ｐ或者ｑ"称ｐ，ｑ的析取式，记作ｐ∨ｑ。
真值表：


500)this.style.width=500;">

例如，ｐ：小明学过英语，ｑ：小明学过日语，
则小明学过英语或日语可表示为ｐ∨ｑ
注意：ｐ∨ｑ是相容的或，允许ｐ，ｑ同真，即小明可能既学过英语又学过日语。（不相容的或，也称排斥或，记作ｐ

500)this.style.width=500;">ｑ，指ｐ，ｑ中恰有一个成立。如：小明学过英语或日语中的一门，ｐ

500)this.style.width=500;">ｑ等值于（ｐ∧

500)this.style.width=500;">ｑ）∨（

500)this.style.width=500;">ｐ∧ｑ）)
4、"如果ｐ那么ｑ"称ｐ，ｑ的蕴涵式，记作ｐ

500)this.style.width=500;">ｑ
其中ｐ为前件，ｑ为后件。
真值表：


500)this.style.width=500;">

为了对蕴涵式真值表有所了解，请看下例。
例3、一位父亲对儿子说："如果我去书店，就一定给你买本《儿童画报》。"问：什么情况下父亲食言？
解：可能情况有四种：
(1) 父亲去了书店，给儿子买了《儿童画报》。
(2) 父亲去了书店，却没给儿子买《儿童画报》。
(3) 父亲没去书店，却给儿子买了《儿童画报》。
(4) 父亲没去书店，也没给儿子买《儿童画报》。
显然，(1)、(4)父亲没有食言，(3)与父亲的许诺没有抵触，当然也没有食言，只有(2)算食言，而这种情况正好对应蕴涵式为假的"前件真后件假"的条件。
例4、ｐ：天下雨，ｑ：我骑车上班。
(1) 如果天不下雨，我就骑车上班。 …………

500)this.style.width=500;">ｐ

500)this.style.width=500;">ｑ
(2) 只要天不下雨，我就骑车上班。 …………

500)this.style.width=500;">ｐ

500)this.style.width=500;">ｑ
(3) 只有天不下雨，我才骑车上班。 …………ｑ

500)this.style.width=500;">

500)this.style.width=500;">ｐ(或ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ )
(4) 除非天下雨，否则我就骑车上班。 …………

500)this.style.width=500;">ｐ

500)this.style.width=500;">ｑ
(5) 如果天下雨，我就不骑车上班。 …………ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ
5、"ｐ当且仅当ｑ"称ｐ，ｑ的等价式，记作ｐ

500)this.style.width=500;">ｑ。
真值表：


500)this.style.width=500;">

例5、ｐ：２＋２＝４，ｑ：3是奇数
(1) 当且仅当3是奇数。 …………ｐ

500)this.style.width=500;">ｑ
(2) 当且仅当3不是奇数。 …………ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ
(3) 当且仅当3是奇数。 …………

500)this.style.width=500;">ｐ

500)this.style.width=500;">ｑ
(4) 当且仅当3不是奇数。 …………

500)this.style.width=500;">ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ
再考虑其真值表，因为ｐ真，ｑ真，所以ｐ

500)this.style.width=500;">ｑ，

500)this.style.width=500;">ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ取值1，ｐ

500)this.style.width=500;">

500)this.style.width=500;">ｑ，

500)this.style.width=500;">ｐ

500)this.style.width=500;">ｑ取值0。
6、逻辑联结词与自然语言中联结词的关系。
否定--不是，没有，非，不。
合取--并且，同时，和，既…又…，不但…而且…，虽然…但是…。
析取--或者，或许，可能。
蕴涵--若…则…，假如…那么…，既然…那就…，倘若…就…。
等价--当且仅当，充分必要，相同，一样。
在例1中，(9)小明和小林都是三好生，(10)小明和小林是好朋友，两个命题都有"和"，但意思不同，在(9)中"和"表示合取(记ｐ∧ｑ)，而在(10)中"和"不是合取，整个语句是简单命题，记为ｐ。
7、运算顺序
逻辑联结词也称逻辑运算符，规定优先级的顺序为

500)this.style.width=500;">，若有括号时，先进行括号内运算。
例如：ｐ

500)this.style.width=500;">（ｑ∨

500)this.style.width=500;">ｐ）∧（ｑ∨ｒ）

500)this.style.width=500;">

500)this.style.width=500;">ｑ
先运算

500)this.style.width=500;">ｐ，

500)this.style.width=500;">ｑ，接着是ｑ∨

500)this.style.width=500;">ｐ和ｑ∨ｒ，然后是（ｑ∨

500)this.style.width=500;">ｐ）∧（ｑ∨ｒ），接着是"

500)this.style.width=500;">"的运算，最后是"

500)this.style.width=500;">"的运算。

三、命题符号化。

步骤：
(1) 找出各简单命题，分别符号化。
(2) 找出各联结词，把简单命题逐个联结起来。
例6、将下列命题符号化。
(1) 小王是游泳冠军或百米赛跑冠军。
设ｐ：小王是游泳冠军，ｑ：小王是百米赛跑冠军。
原语句化为ｐ∨ｑ。
(2) 小王现在在宿舍或在图书馆。
设ｐ：小王在宿舍，ｑ：小王在图书馆。
原语句化为ｐ∨ｑ。
(3) 选小王或小李中的一人当班长。
设ｐ：选小王当班长，ｑ：选小李当班长。
原语句化为（ｐ∧

500)this.style.width=500;">ｑ）∨（

500)this.style.width=500;">ｐ∧ｑ）。
(4) 如果我上街，我就去书店看看，除非我很累。
设ｐ：我上街，ｑ：我去书店看看，ｒ：我很累。
原语句化为

500)this.style.width=500;">ｒ

500)this.style.width=500;">（ｐ

500)this.style.width=500;">ｑ）［或（

500)this.style.width=500;">ｒ∧ｐ）

500)this.style.width=500;">ｑ］。
(5) 小丽是计算机系的学生，她生于1982或1983年，她是三好生。
设ｐ：小丽是计算机系的学生，ｑ：小丽生于1982年，ｒ：小丽生于1983年，Ｓ：小丽是三好生
原语句化为ｐ∧（ｑ∨ｒ）∧Ｓ。

四、两命题公式间的等值关系。

1、定义：
设Ａ，Ｂ为两命题公式， 若等值式Ａ

500)this.style.width=500;">Ｂ是重言式，则称Ａ与Ｂ是等值的，记作Ａ

500)this.style.width=500;">Ｂ。
2、判定。
判断两公式Ａ，Ｂ是否等值，即判断Ａ

500)this.style.width=500;">Ｂ是否重言式，可用真值表的办法，看Ａ

500)this.style.width=500;">Ｂ的真值表的最后一列是否全为1，或者看Ａ，Ｂ真值表中的值是否完全相同。
例7、判断Ａ，Ｂ两公式是否等值。
(1)Ａ＝

500)this.style.width=500;">（ｐ∨ｑ），Ｂ＝

500)this.style.width=500;">ｐ∨

500)this.style.width=500;">ｑ
(2)Ａ＝ｐ

500)this.style.width=500;">ｑ，Ｂ＝（ｐ

500)this.style.width=500;">ｑ）∧（ｑ

500)this.style.width=500;">ｐ）
解：
(1) 作真值表如下：


500)this.style.width=500;">
表 1

(2) 作真值表如下：


500)this.style.width=500;">
表 ２

以上表1中的第三列与最后一列不完全相同，所以Ａ，Ｂ不等值；
以上表2中的第二列与最后一列完全相同，所以Ａ

500)this.style.width=500;">Ｂ。

五、重要等值式。

１、交换律Ａ∨Ｂ

500)this.style.width=500;">Ｂ∨Ａ，Ａ∧Ｂ

500)this.style.width=500;">Ｂ∧Ａ
２、结合律（Ａ∨Ｂ)∨Ｃ

500)this.style.width=500;">Ａ∨(Ｂ∨Ｃ)，(Ａ∧Ｂ)∧Ｃ

500)this.style.width=500;">Ａ∧(Ｂ∧Ｃ)
３、分配律Ａ∨（Ｂ∧Ｃ）

500)this.style.width=500;">（Ａ∨Ｂ）∧（Ａ∨Ｃ）
Ａ∧（Ｂ∨Ｃ）

500)this.style.width=500;">（Ａ∧Ｂ）∨（Ａ∧Ｃ）
４、德－摩根律

500)this.style.width=500;">（Ａ∨Ｂ）

500)this.style.width=500;">

500)this.style.width=500;">Ａ∧

500)this.style.width=500;">Ｂ，

500)this.style.width=500;">（Ａ∧Ｂ）

500)this.style.width=500;">

500)this.style.width=500;">Ａ∨

500)this.style.width=500;">Ｂ
５、等幂律Ａ∨Ａ

500)this.style.width=500;">Ａ，Ａ∧Ａ

500)this.style.width=500;">Ａ
６、吸收律Ａ∨（Ａ∧Ｂ）

500)this.style.width=500;">Ａ，Ａ∧（Ａ∨Ｂ）

500)this.style.width=500;">Ａ
７、零律Ａ∨１

500)this.style.width=500;">１，Ａ∧０

500)this.style.width=500;">０
８、同一律Ａ∨０

500)this.style.width=500;">Ａ，Ａ∧１

500)this.style.width=500;">Ａ
９、互否律Ａ∨

500)this.style.width=500;">Ａ

500)this.style.width=500;">１(排中律)，Ａ∧

500)this.style.width=500;">Ａ

500)this.style.width=500;">０(矛盾律)
10、双重否定律

500)this.style.width=500;">（

500)this.style.width=500;">Ａ）

500)this.style.width=500;">Ａ
11、蕴涵等值式Ａ

500)this.style.width=500;">Ｂ

500)this.style.width=500;">

500)this.style.width=500;">Ａ∨Ｂ
12、等价等值式Ａ

500)this.style.width=500;">Ｂ

500)this.style.width=500;">（Ａ

500)this.style.width=500;">Ｂ）∧（Ｂ

500)this.style.width=500;">Ａ）
13、假言易位Ａ

500)this.style.width=500;">Ｂ

500)this.style.width=500;">

500)this.style.width=500;">Ｂ

500)this.style.width=500;">

500)this.style.width=500;">Ａ
14、等价否定等值式Ａ

500)this.style.width=500;">Ｂ

500)this.style.width=500;">

500)this.style.width=500;">Ａ

500)this.style.width=500;">

500)this.style.width=500;">Ｂ
15、归谬论（Ａ

500)this.style.width=500;">Ｂ）∧（Ａ

500)this.style.width=500;">

500)this.style.width=500;">Ｂ）

500)this.style.width=500;">

500)this.style.width=500;">Ａ
以上15组共24条重要等值式，在等值演算中经常要用到，应该记住它们，并能熟练运用。其中Ａ，Ｂ，Ｃ表示任意的命题公式。以上每条都可用真值表检验，如例1.(2)验证了第14条。

六、等值演算。

置换定理：如果Ａ

500)this.style.width=500;">Ｂ，则

500)this.style.width=500;">（Ａ）

500)this.style.width=500;">

500)this.style.width=500;">（Ｂ）。
根据置换定理及24条等值式就可进行等值演算。
例8、验证下列等值式。
(1) ｐ

500)this.style.width=500;">（ｑ

500)this.style.width=500;">ｒ）

500)this.style.width=500;">（ｐ∧ｑ）

500)this.style.width=500;">ｒ
(2) ［ｐ∧（ｑ∧ｒ）］∨［

500)this.style.width=500;">ｐ∧（ｑ∧ｒ）］

500)this.style.width=500;">ｑ∧ｒ
(3) ｑ∨

500)this.style.width=500;">［（

500)this.style.width=500;">ｐ∨ｑ）∧ｐ］

500)this.style.width=500;">１
解：(1)ｐ

500)this.style.width=500;">（ｑ

500)this.style.width=500;">ｒ）


500)this.style.width=500;">ｐ

500)this.style.width=500;">（

500)this.style.width=500;">ｑ∨ｒ)蕴涵等值式


500)this.style.width=500;">

500)this.style.width=500;">ｐ∨（

500)this.style.width=500;">ｑ∨ｒ）蕴涵等值式


500)this.style.width=500;">（

500)this.style.width=500;">ｐ∨

500)this.style.width=500;">ｑ）∨ｒ结合律


500)this.style.width=500;">

500)this.style.width=500;">（ｐ∧ｑ）∨ｒ德-摩根律
(2)［ｐ∧（ｑ∧ｒ）］∨［

500)this.style.width=500;">ｐ∧（ｑ∧ｒ）］


500)this.style.width=500;">［（ｑ∧ｒ)∧ｐ］∨［（ｑ∧ｒ)∧

500)this.style.width=500;">ｐ］　交换律


500)this.style.width=500;">（ｑ∧ｒ）∧(ｐ∨

500)this.style.width=500;">ｐ)　分配律


500)this.style.width=500;">（ｑ∧ｒ）∧１排中律


500)this.style.width=500;">ｑ∧ｒ同一律
(3)ｑ∨

500)this.style.width=500;">［（

500)this.style.width=500;">ｐ∨ｑ）∧ｐ］


500)this.style.width=500;">ｑ∨

500)this.style.width=500;">［（

500)this.style.width=500;">ｐ∧ｑ)∨（ｑ∧ｐ）］ 分配律


500)this.style.width=500;">ｑ∨

500)this.style.width=500;">［０∨（ｑ∧ｐ)］ 矛盾律


500)this.style.width=500;">ｑ∨

500)this.style.width=500;">（ｑ∧ｐ) 同一律


500)this.style.width=500;">ｑ∨（

500)this.style.width=500;">ｑ∨

500)this.style.width=500;">ｐ) 德-摩根律


500)this.style.width=500;">（ｑ∨

500)this.style.width=500;">ｑ）∨

500)this.style.width=500;">ｐ 结合律


500)this.style.width=500;">１∨

500)this.style.width=500;">ｐ 　排中律


500)this.style.width=500;">１ 零律
注：以上是命题逻辑的部分内容，由于时间的限制，其余部分如推理等及一阶谓词逻辑还未涉及到。

[align=right]主讲：福建师范大数学系副教授 叶雪梅[/align]