离散数学概论---（1）数理逻辑-基本概念

什么是数理逻辑

什么是逻辑学？？？？？
逻辑学是探索、阐述和确立有效推理原则的学科，最早由古希腊亚里士多德创立。
亚里士多德在逻辑学上最重要的工作是提出三段论学说。
只要符合三段论的推理就是正确的。
一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。
三段论有许多不同种类 ，其中最著名的例子：

1. 凡是人都会死（大前提 ）
2. 苏格拉底是人（小前提）
3. 所以：苏格拉底会死（结论 ）

逻辑学还是以自然语言来表述，可能会因为自然语言的模糊性损害其准确和权威。
用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑（也叫做符合逻辑）。

数理逻辑的萌芽

利用计算的方法来代替人们思维中的逻辑推理过程。这种想法早在十七世纪就有人提出过。
莱布尼茨（Leibniz）就曾经设想能不能创造一种“通用的科学语言”，可以把推理过程像数学一样利用公式来进行计算，从而得出正确的结论。
由于当时的社会调剂，他的想法并没有实现。
但是他的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。

数理逻辑的开创

1847年，英国数学家布尔G.Boole发表了《逻辑的数学分析》，建立了“布尔代数”。
布尔创造了一套符合系统，利用符合来表示逻辑中的各种概念。
还建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。

数理逻辑的大发展

1884年，德国数学家弗雷格Frege出版了《数论的基础》一书，在书中引入量词的符合，使得数理逻辑的符号系统更加完备。
美国人皮尔斯Peirce，他也在著作中引入了更多逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。

数理逻辑的四大分支

数学史上的第三次大危机是由于发现了集合论的逻辑悖论引起的。
悖论的提出，促使许多数学家去研究集合论的无矛盾性问题，从而产生了数理逻辑的一个重要分支—公理集合论
未来研究数学系统的无矛盾性问题，需要以数学理论体系的概念、命题、证明等作为研究对象，研究数学系统的逻辑结构和证明的规律，这样又产生了另一个分支–证明论
递归论主要研究可计算性的理论，它和计算机的发展和应用有密切的关系。
模型论主要是研究形式系统和数学模型之间的关系。

我们课程中介绍的是数理逻辑各个分支的共同基础部分：命题演算与谓词演算

命题（proposition）

命题是数理逻辑中最基本的概念
对确定的对象作出判断的陈述句称作命题
如果判断正确，称命题真（true）
否则称命题假（false）
“真、假”是命题的数学，称为‘“真值”
什么样的语句是命题？
雪是白的（真命题）
2+2=5（假命题）
您贵姓？（不是命题）
x+y<10（不是命题）
三个识别要点
陈述句 判断 确定的对象做出的判断

认识命题

再来看看几个语句
袁世凯称帝那天北京下雨（时间确定 地点确定的对天气论断，命题真值现在不知道）
大于2的偶数均可分解为两个素数之和（哥德巴赫猜想，现在无法证明真假）
请把脚挪一下！（祈使句，不是命题）
谁拿走了桌上的杯子？（疑问，不是命题）
2是偶数而且3也是偶数（假命题）
真值是命题的固有属性。
不过，是否知道真值，能否知道真值是另一回事。
悖论（自相矛盾）不能作为命题。如“这句话是错的”
命题非真即假，不能兼有之，也不能不真不假
非真即假，是一个基本假设？

排中律Law of Excluded Middle

排中律是传统逻辑的基本规律之一
“是非之间，必居其一”
墨子也说过：“辩也者，或谓之是，或谓之非，当者胜也”
任一事物在同一时间里具有某属性或者不具有某种属性，而无其它可能。（排中律的最基本表述）

反证法与排中律

传统属性证明中经常采用的“反证法”就利用了排中律：
要证明一个命题为真，并不直接证明；
而是假设命题不为真，推出矛盾；
根据排中律，次命题非假，即真；
从而间接证明命题为真。

反证法的著名案例

欧几里得：素数有无穷多个
假设命题不真，纳闷素数就是有有限个，把它们安装大小顺序排列起来，记为a1<a2<a3…<an
接下来，我们构造一个新的数N=a1a2a3…*an+1
所有的这些素数ai(i=1, 2…n)都不是N的因子，这样，就有两种可能：

1. N有另外的素数真因子
2. N本身就是一个素数

陷入，N比所有的ai都要大，无论哪种情况，我们都发现了ai之外的素数。
这跟假设矛盾，根据排中律，命题就是真的！
（毕达哥拉斯证明 $\sqrt{2}$是无理数）

直觉主义对排中律的质疑

但直觉主义认为，数学的基础和出发点是人类直觉所构造；
数论理论可靠性依赖于心智上的可构造性；
对命题真假的确定必须给出构造性证明；
而反证法虽然对命题的反面推出矛盾；
但不意味着命题本身具有构造性证明。
直觉主义牟定排中律的普遍有效性；
从有穷事物中概况出来的排中律，不能贸然推广到无穷事物适用；
涉及到有穷事物全体的命题，可以通过逐个检验来验证其真假；
但一旦涉及到无穷事物，一般是无法来做此种检验的。
（例如，哥德巴赫猜想）

命题符号化

原子命题和复合命题

我们回来再看看刚才的一个命题：
2是偶数而且3也是偶数
这是由两个小命题和一个“而且”连接而成
联结词“而且”将两个命题组合成新命题，并产生了新的真值。
这样，我们就有了三个新概念：
逻辑联结词（logical connectives）：连接命题，对真值进行运算的词；
原子命题（atom proposition）：不含有逻辑联结词的命题。
复合命题（compound proposition）：包含了原子命题和逻辑联结词的命题。
逻辑联结词有哪些ÿ