人教B版选修1－1《第一章 常用逻辑用语 阅读与欣赏 什么是数理逻辑》优秀教学课件

人教B版选修1－1《第一章 常用逻辑用语 阅读与欣赏 什么是数理逻辑》优秀教学课件

英国数学家刘易斯.卡洛儿的小说《爱丽丝漫游奇境记》第七章

发疯的茶会里面有一段爱丽丝，帽匠，三月兔，睡鼠的对话：“我

正是这样的，”爱丽丝急忙回答，“至少……至少凡是我说的就是我

想的—这是一回事，你知道。”

“根本不是一回事，”帽匠说，“那么，你说‘凡是我吃的东西

我都能看见’和‘凡是我看见的东西我都能吃’，也算是一样的

了？”

三月兔加了句：“那么说凡是我的东西我都喜欢’和‘凡是我喜

欢的东西都是我的’，也是一样的喽？”

睡鼠也像说梦话一样说道：“那么说‘我睡觉时总要呼吸’和

‘我呼吸时总在睡觉’也是一样的吗？”

1．问题引入

请问帽匠，三月兔，睡鼠他们说的对吗？

打开历史的画卷，追随前人的足迹，我们从以下几个方面了解数理逻辑发展的历史过程：数理逻辑概念，产生的历史背景，主要内容及用途。

如果我们懂一点数理逻辑知识，我们就判断他们说的对错了.那么什么是数理逻辑呢？英国JohnN.Crossley等著的《数理逻辑是什么》这本书详细给我们给出了答案.本书分为六章，今天，我们只了解数理逻辑发展的概况。

数理逻辑：用数学方法研究推理过程的科学。

什么是数学方法呢？

数学方法是用一套有确定意义的人工符号语言

表达思维规律与逻辑结构的方法。

1.数理逻辑的概念

数理逻辑研究什么？

研究分支：模型论、集合论、递归论、证明论。

研究方法：逻辑推理。

逻辑推理：当前提为真时，保证结论为真。

数理逻辑属于演绎推理范围.只研究推理及可推理关系，不关心前提与结论中各个命题的真假。