数理逻辑蕴含_1.数理逻辑：基本概念

什么是数理逻辑

逻辑学是探索、阐述和确立有效推理原则的学科，最早由亚里士多德创立

亚里士多德：提出三段论

只要符合三段论就是正确的

大前提，小前提和结论

逻辑学还是以自然语言来描述，可能会因为自然语言的模糊性损害其准确

用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑

数理逻辑的四大分支

数学史上的第三次大危机是由于发现了集合论的逻辑悖论引起的

悖论的提出，促使了——公理集合论

为了证明数学的无矛盾行问题——证明论

递归论

模型论

命题

命题是数理逻辑中最基本的概念

最缺的的对象作出判断的陈述句称做命题

如果判断正确，称命题为真

真假是命题的固有属性——真值

三个识别要点

陈述句

判断

确定的对象

真值是命题的固有属性

不过，是否知道真值，能否知道真值是另一回事

悖论不能作为命题，如“这句话是错的”

命题非真既假，不能兼而有之

非真既假，是一个基本假设？

排中律 (Law of Excluded Middle)

排中律是传统逻辑的基本规律之一

“是非之间，必居其一”

任何一个事物在同一时间里具有某种属性或者不具有某种属性

而无其他的可能

反证法与排中律

要证明一个命题为真，并不直接证明

而是假设命题不为真，推出矛盾；

根据排中律这个命题非假 ，即真，那么从而间接地证明了命题为真

直觉主义对排中律的质疑

直觉主义认为，数学的基础和出发点是人类直觉锁构造

数学力量可靠性依赖于心智上的可构造性

对命题真假的确定必须给出构造性证明

而反证法虽然对命题的反面推出矛盾

但不意味着命题本事具有构造性的证明

直觉主义否定排中律的普遍有效性

从有穷事物中概况出来的排中律，不能贸然推广到对无穷事物适用

涉及到有穷事物全体的命题，可以逐个验证

但一涉及到无穷事物，一般是无法检验

原子命题和复合命题

三个新概念：

逻辑联结

原子命题

复合命题

逻辑联结词有哪些 ： 与 或 非 ，如果那么， 当且仅当

对于逻辑和思维的过程进行形式化，使之像算数过程那样 非常地简单明了，而且确切无误

如何把命题变算式？

形象化第一步：抽象

仅关注命题的本质属性：真值

仅关注逻辑联结词的本质属性：真值计算

1566225270036.png

命题的真值 ，1表示为true，0表示为false

逻辑联结词由真值表表示

注意： 或 可能表示排斥性选择

例如：人固有一死，或重于泰山，或轻于鸿毛 ——排斥或 成为 抑或

蕴涵词 如果 那么 : →

1566225991202.png

1566226152812.png

命题公式的组成成分

命题常元：常量

命题变元: 变量

命题公式: 命题常量+命题变元+逻辑联结词

命题公式的定义

1566226525966.png

逻辑联结词优先级

![

1566226709967.png

命题公式与真值函数

如果把联结词看作逻辑运算符，那么包含命题变元的公式可以看为是变元的一个真值函数

每个变元的取值范围是{0,1}

每个真值函数的取值范围也是{0,1}

赋值

对于给定的p1,p2...pn的一种取值状况组合，称为指派或者赋值

1566226967810.png

真值表

1566227055517.png

成真赋值 和 成假赋值

1566227249524.png

自然语言句子的形式化

首先确定原子命题

其次确定联结词

最后处理命题之间的联结关系及顺序