数学苏教版选修2-1命题.doc

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