教育部课题含有一个量词的命题的否定.ppt

教育部重点课题新教育子课题 在高中数学教学中如何达到理想课堂的实践,温州市瓯海区三溪中学 张明,1.4.3 含有一个量词的命题 的否定,我们知道命题有否定，那全称命题与特称命题的否定是什么？,我们知道几何中有定理、性质、推论。它们是现实世界中的一个不以人的主观意志而改变的事实，我们只不过通过公理化思想把它们组成一个严密的逻辑系统。从最初的几条公理出发演绎出一个极其严密的逻辑系统。今天我们学习的是逻辑，它本身就是个逻辑系统，但我们不说从最初的几条公理出发去演绎证明。我们把逻辑系统中最初的那几个事实叫做“规定”，相当于公理化系统中的公理。比如全称命题的否定就是种规定，这种规定不是乱规定，而是根据现实中事实来的，这个事实就是：,含有一个量词的全称命题的否定,有下面的结论,它的否定,从形式看，全称命题的否定是特称命题。,这是相当于几何中的公理，前几节课也有个规定也相当于公理。即原命题与逆否命题同真同假。公理是自己不能被证明的，只能证别人。它是证明的起点。,什么是公理？那就是不证自明非常显然的事实，公理是我们证明的原点或起点，从原点或起点出发到达我们要到的地方。证明先从公理开始。证明的起点是显而易见的事实，这事实就是公理。公理是去证别人而自己是不能证明的。,学习数学有个重要的思维能力要培养，那就是抽象思维能力。刚才同学们对 全称命题及否定的学习都是根据具体的模型进行思考，在以后的学习中同学们要学会脱离具体模型进行抽象思维。那就是根据数学上对全称命题的符号定义及真假的规定进行抽象思维，同学们会吗？,我们知道命题有否定，那特称命题的否定是什么？,我们知道几何中有定理、性质、推论。它们是现实世界中的一个不以人的主观意志而改变的事实，我们只不过通过公理化思想把它们组成一个严密的逻辑系统。从最初的几条公理出发演绎出一个极其严密的逻辑系统。今天我们学习的是逻辑，它本身就是个逻辑系统，但我们不说从最初的几条公理出发去演绎证明。我们把逻辑系统中最初的那几个事实叫做“规定”，相当于公理化系统中的公理。比如特称命题的否定就是种规定，这种规定不是乱规定，而是根据现实中事实来的，这个事实就是：,1)所有实数的绝对值都不是正数;,2)每一个平行四边形都不是菱形;,3),否定:,含有一个量词的特称命题的否定,有下面的结论,它的否定,从形式看,特称命题的否定都变成了全称命题.,这是相当于几何中的公理，前几节课也有个规定也相当于公理。即原命题与逆否命题同真同假。公理是自己不能被证明的，只能证别人。它是证明的起点。,什么是公理？那就是不证自明非常显然的事实，公理是我们证明的原点或起点，从原点或起点出发到达我们要到的地方。证明先从公理开始。证明的起点是显而易见的事实，这事实就是公理。公理是去证别人而自己是不能证明的。,学习数学有个重要的思维能力要培养，那就是抽象思维能力。刚才同学们对 全称命题、特称命题及否定的学习都是根据具体的模型进行思考，在以后的学习中同学们要学会脱离具体模型进行抽象思维。那就是根据数学上对全称命题、特称命题的符号定义及真假的规定进行抽象思维，同学们会吗？,含有一个量词的命题的否定,全称命题的否定是特