预览加载中,请您耐心等待几秒...
1/2
2/2

在线预览结束,喜欢就下载吧,查找使用更方便

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

用心爱心专心116号编辑 命题 教学目标: 1.了解数理逻辑 2.理解命题的概念. 教学重点:理解命题的概念 教学过程 一、什么是逻辑 逻辑通常指人们思考问题,从某些已知条件出发推出合理的结论的规律。 说某人逻辑性强,就是说他善于推理,能够得出正确的结论。说某人说话不合逻辑,就是说他的推理不正确,得出了错误的结论。 逻辑有时也指逻辑学。逻辑学是研究推理规律的理论。逻辑学分古典逻辑和现代逻辑。 逻辑又有演绎逻辑,归纳逻辑,形式逻辑,非形式逻辑等不同类型。 逻辑推理中的已知条件和结论都是可以判断真假的命题。如果把命题作为最基本的成分,只研究命题推理的规律,就得到命题逻辑。进一步,把命题再细分为谓词,量词就得到谓词逻辑。 用符号表示命题,谓词,量词,得到符号逻辑。符号逻辑常用来研究数学中的推理,因此也叫数理逻辑。 二十世纪,数理逻辑发展迅速,它的四个主要分支:集合论,模型论,递归论,证明论已成为数学的重要学科。现代逻辑如模态逻辑,时态逻辑,概率逻辑,量子逻辑,模糊逻辑等各式各样的应用逻辑层出不穷。 这样一来,逻辑的含义是太丰富了。逻辑已经成为数学,哲学,计算机科学,甚至每一门学科的基础。 二、命题 可以判断真假的语句叫做命题 命题可以用小写英文字母表示:p,q,r… 可以判断真假与我们是否知道其真假不是一回事 与命题相关的概念是开语句例如,x<2,x-5=3,(x+y)(x-y)=0.这些语句中含有变量x或y,在没有给定这些变量的值之前,是无法确定语句真假的.这种含有变量的语句叫做开语句(有的逻辑书也称之为命题函项). 原子命题与复合命题 小结:本节课我们学习了命题的概念 课堂练习:练习A、B 课后作业:略