数学命题的逻辑基础.pptVIP

（P39）在完成必修课程学习的基础上，希望进一步学习数学的学生，可以根据自己的兴趣和需求，选择学习系列1，系列2. 系列1是为希望在人文、社会科学等方面发展的学生而设置的，包括2个模块，共4学分.系列2则是为希望在理工、经济等方面发展的学生设置的，包括3个模块，共6学分. （P40）选修1-1：常用逻辑用语、圆锥曲线与方程、导数及其应用. 选修2-1：常用逻辑用语、圆锥曲线与方程、空间中的向量与立体几何 （P40）正确地使用逻辑用语是现代社会公民应该具备的基本素质.无论是进行思考、交流，还是从事各项工作，都需要正确地运用逻辑用语表达自己的思想.在本模块中，学生将在义务教育阶段的基础上，学习常用逻辑用语，体会逻辑用语在表述和论证中的作用，利用这些逻辑用语准确地表达数学内容，更好地进行交流. 内容与要求 （P41） 　1.常用逻辑用语(约8课时) 　　(1)命题及其关系 　 ①了解命题的逆命题、否命题与逆否命题. 　　②理解必要条件、充分条件与充要条件的意义，会分析四种命题的相互关系. 　　(2)简单的逻辑联结词 　　通过数学实例，了解“或”、“且”、“非”的含义. 　　(3)全称量词与存在量词 　　①通过生活和数学中的丰富实例，理解全称量词与存在量词的意义. 　　②能正确地对含有一个量词的命题进行否定. 专题一　树立科学思维的概念 第一框　探究思维的奥秘 　　第二框　学会科学思维 专题二　遵循形式逻辑的要求 第一框　思维需要逻辑 　　第二框　准确把握概念　　第三框　恰当运用简单判断 　　第四框　学会运用复合判断 　　第五框　掌握演绎推理的方法（上） 　　第六框　掌握演绎推理的方法（下） 　 课题：数学命题及其逻辑结构 目标： 理解判断和命题的含义； 掌握命题的四种逻辑运算以及命题的四种形式。 一、判断的含义与特征 1. 判断的含义 判断是对思维对象有所肯定或有所否定的思维形式。 例如：2是有理数 所有三角形都有外接圆 -3不是9的算术平方根 负数没有对数 有些平行四边形是轴对称图形 有的根式不是无理式 有的一元二次方程没有实根 所有的四边形都有外接圆 1是质数，或是合数 2+3=5 5∈N ΔABC∽ ΔA’B’C’ 直线l不在平面α内 有的分数不小于1 点B在点A与点C之间 2、3、4和6成比例 所有整数与数轴上一部分点之间一一对应 一、判断的含义与特征 2. 判断的特征 判断有两个重要特征：1）有所断定——肯定或否定 例如，“2是有理数”这一判断肯定了“2”有“有理数”的性质；“2+3=5”这一判断肯定了“2+3”与“5”之间有“=”（相等）这一关系；“有的一元二次方程没有实根”否定了“有的一元二次方程”有“有实根”的性质。 2）有真假之分 一个判断，如果它所断定的内容符合客观事物的情况，那么这个判断就是真的（真判断），否则就是假的（假判断）。 一个判断要么真，要么假，两者必居其一且仅居其一，没有第三种可能。 判断的“真”、“假”称为判断的真值，分别用1，0表示。 数学判断的形式取真值判断，内容符合数学对象的实际，才是真实的数学判断。故在数学中，判断的真假既需实践检验，也需理论证明。 逻辑思维对判断的基本要求是：判断要恰当，即在质和量上都要正确地反映事物的真实性，而无虚假。 二、判断的类型 1. 简单判断与复合判断 简单判断：不含其他判断的判断。 复合判断：含有其他判断的判断。 2.性质判断与关系判断 性质判断是断定某种事物具有（或不具有）某种性质的判断。 关系判断是断定（肯定或否定）事物与事物之间的关系的判断。 性质判断的构成：主项+谓项+联项+量项 主项：表示判断的对象。主项通常用“S”表示。 谓项：表示主项具有或不具有的性质。谓项通常用“P”表示。 联项：表示主项与谓项之间的关系。根据其反映判断性质的不同分为肯定联项（用“是”或“有”表示）和否定联项（用“不是”或“没有”）两种。 量项：表示主项的数量。根据其反映的判断的量的不同，分为全称量项、特称量项、单称量项三种。 任何判断都有量和质两个方面，根据量项的“全称”、“特称”、“单称”和联项的 “肯定” 、 “否定”性质判断可分为六种: 全称肯定判断（universal affirmative juagment ，A）：所有S是P（SAP） 全称否定判断（universal negative judgment ,E）：所有S不是P（SEP） 特称肯定判断（particular affirmative judgment ,I）：有些S是P（SIP） 特称否定判断（particular negative judg