摘 要:在全日制普通高中新教材中增加了“简易逻辑”这一章节,本章节对培养学生的逻辑思维能力会起到很大的作用.但由于在对命题进行否定时,忽略了其中的“量词”,产生了某些认识上的偏差.下面将针对“命题的否定”作简要的分析. 关键词:命题的否定 [中图分类号]:G426 [文献标识码]:A [文章编号]:1002-2139(2013)-9-0-01 一、三种命题形式 表示数量的词称为量词.表示整体的全部的叫做全称量词,常用的如“所有”、“一切”、“每一个”和“任意一个”等;表示整体的一部分的叫做存在量词,常用的如“有些”、“至少有一个”和“存在”等. 根据描述主项的量词,命题可分为: 全称命题,一般地,设是某集合的所有元素都具有的性质,那么全称命题就是形如“对中的所有,”的命题。用 存在性命题,一般地,设是某集合的有些元素具有的某种性质,那么存在性命题就是形如“存在集合中的元素,”的命题。 特别地,主项为特定的单个个体的命题,称为单称命题,其形式为“是(不是)”,其否定为“不是(是)”. 二、命题的否定 设是一个命题,“不成立”即为对命题 的否定(非). 1、全称命题的否定 全称命题可用符号记为“,” 全称命题其否定为“存在不是(是)”,即“至少有一个不是(是)”,全称量词常可省略; 例1 写出下列命题的否定 (1)对任意的实数,都有; (2)所有的矩形都是平行四边形; (3)各数位数字之和能被3整除的整数,能被3整除. (4)每一个四边形的四个顶点共圆。 (5),的个位数不等于7。 (6)三角形的外角等于与它不相邻的两内角之和; 解析:每个命题都含有全称量词,所以都为全称命题,首先将全称量词“任意的”、“每一个”、“ ”改为存在性量词“存在”、“存在一个”、“ ”,然后否定性质即可。 其否定分别为: 存在实数,有 “存在一个矩形不是平行四边形” 有些各数位数字之和能被3整除的整数,不能被3整除”. 存在一个四边形的四个顶点不共圆。 ,的个位数等于7. (6)存在一个三角形,它有一个外角不等于与它不相邻的两内角之和; 评注:从命题形式看,全称命题的否定是存在性命题 2、存在性命题的否定 存在性命题可用符号记为“,”,其否定命题为“,”。 例2:写出下列命题的否定: (1)有些负数的绝对值是负数; (2)某些梯形是平行四边形形; (3),。 (4)存在一个矩形,它的四边相等 解析:每个命题都含有存在性量词,所以都为存在性命题,首先将存在性量词 “有些”、“某些”、“ ”改为全称量词“所有”、“每一个”、“” ,然后否定性质即可。其否定分别为: (1)所有负数的绝对值都不是负数; (2)每一个梯形都不是平行四边形; (3) , 。 (4)任意一个矩形,它的四条边不全相等. 评注:从命题形式看,存在性命题的否定是全称命题。 3、单称命题的否定 单称命题的形式为“是(不是)”,其否定为“不是(是)”. 例3、写出下列命题的否定: (1)碳是黑色的; (2)方程有解; 存在一个实数:命题⑴、⑵是单称命题,故其否定分别为“碳不是黑色的”和“方程无解” 4.命题“若……则……”的否定是什么 “若则”的否定是“且非”; “对于任意的,若则”(“对于任意的”常省略)的否定是“存在,且非”,即只要能否定符合条件的一种情况即可,而不是对符合条件的所有情况加以否定,亦即“对于任意的,若则”的否定应该是“存在使成立而不成立的情况”. 例2 写出下列命题的否定 (1)若明天下雨,则我不去呼和浩特; (2)若方程有实根,则太阳绕着地球转; (3)若方程有实根,则. (4)若是奇数,则是偶数. 分析:命题(1)、(2)是“若则”形式的命题,故其否定分别为“明天下雨且我去呼和浩特”和“方程有实根且太阳不绕着地球转”;命题(3)、(4)省略了全称量词,补完整后分别为“对于任意的实数,若方程有实根,则”和“对于任意的实数,若是奇数,则是偶数”,都是“对于任意的,若则”形式的命题,故其否定分别为“存在实数,使得有实根且”和“存在实数,使得是奇数且不是偶数”. 结论:看到“若……则……”的命题要在理解语意的基础上,判断是否是省略了全称量词的情况,再加以否定。 总之,要想写出命题否定的正确形式,一定要分析清楚命题中的量词。含有一个量词的全称命题和存在性命题的否定有如下结论:存在性命题的否定是全称命题,全称命题的否定是存在性命题。
摘 要:在全日制普通高中新教材中增加了“简易逻辑”这一章节,本章节对培养学生的逻辑思维能力会起到很大的作用.但由于在对命题进行否定时,忽略了其中的“量词”,产生了某些认识上的偏差.下面将针对“命题的否定”作简要的分析. 关键词:命题的否定 [中图分类号]:G426 [文献标识码]:A [文章编号]:1002-2139(2013)-9-0-01 一、三种命题形式 表示数量的词称为量词.表示整体的全部的叫做全称量词,常用的如“所有”、“一切”、“每一个”和“任意一个”等;表示整体的一部分的叫做存在量词,常用的如“有些”、“至少有一个”和“存在”等. 根据描述主项的量词,命题可分为: 全称命题,一般地,设是某集合的所有元素都具有的性质,那么全称命题就是形如“对中的所有,”的命题。用 存在性命题,一般地,设是某集合的有些元素具有的某种性质,那么存在性命题就是形如“存在集合中的元素,”的命题。 特别地,主项为特定的单个个体的命题,称为单称命题,其形式为“是(不是)”,其否定为“不是(是)”. 二、命题的否定 设是一个命题,“不成立”即为对命题 的否定(非). 1、全称命题的否定 全称命题可用符号记为“,” 全称命题其否定为“存在不是(是)”,即“至少有一个不是(是)”,全称量词常可省略; 例1 写出下列命题的否定 (1)对任意的实数,都有; (2)所有的矩形都是平行四边形; (3)各数位数字之和能被3整除的整数,能被3整除. (4)每一个四边形的四个顶点共圆。 (5),的个位数不等于7。 (6)三角形的外角等于与它不相邻的两内角之和; 解析:每个命题都含有全称量词,所以都为全称命题,首先将全称量词“任意的”、“每一个”、“ ”改为存在性量词“存在”、“存在一个”、“ ”,然后否定性质即可。 其否定分别为: 存在实数,有 “存在一个矩形不是平行四边形” 有些各数位数字之和能被3整除的整数,不能被3整除”. 存在一个四边形的四个顶点不共圆。 ,的个位数等于7. (6)存在一个三角形,它有一个外角不等于与它不相邻的两内角之和; 评注:从命题形式看,全称命题的否定是存在性命题 2、存在性命题的否定 存在性命题可用符号记为“,”,其否定命题为“,”。 例2:写出下列命题的否定: (1)有些负数的绝对值是负数; (2)某些梯形是平行四边形形; (3),。 (4)存在一个矩形,它的四边相等 解析:每个命题都含有存在性量词,所以都为存在性命题,首先将存在性量词 “有些”、“某些”、“ ”改为全称量词“所有”、“每一个”、“” ,然后否定性质即可。其否定分别为: (1)所有负数的绝对值都不是负数; (2)每一个梯形都不是平行四边形; (3) , 。 (4)任意一个矩形,它的四条边不全相等. 评注:从命题形式看,存在性命题的否定是全称命题。 3、单称命题的否定 单称命题的形式为“是(不是)”,其否定为“不是(是)”. 例3、写出下列命题的否定: (1)碳是黑色的; (2)方程有解; 存在一个实数:命题⑴、⑵是单称命题,故其否定分别为“碳不是黑色的”和“方程无解” 4.命题“若……则……”的否定是什么 “若则”的否定是“且非”; “对于任意的,若则”(“对于任意的”常省略)的否定是“存在,且非”,即只要能否定符合条件的一种情况即可,而不是对符合条件的所有情况加以否定,亦即“对于任意的,若则”的否定应该是“存在使成立而不成立的情况”. 例2 写出下列命题的否定 (1)若明天下雨,则我不去呼和浩特; (2)若方程有实根,则太阳绕着地球转; (3)若方程有实根,则. (4)若是奇数,则是偶数. 分析:命题(1)、(2)是“若则”形式的命题,故其否定分别为“明天下雨且我去呼和浩特”和“方程有实根且太阳不绕着地球转”;命题(3)、(4)省略了全称量词,补完整后分别为“对于任意的实数,若方程有实根,则”和“对于任意的实数,若是奇数,则是偶数”,都是“对于任意的,若则”形式的命题,故其否定分别为“存在实数,使得有实根且”和“存在实数,使得是奇数且不是偶数”. 结论:看到“若……则……”的命题要在理解语意的基础上,判断是否是省略了全称量词的情况,再加以否定。 总之,要想写出命题否定的正确形式,一定要分析清楚命题中的量词。含有一个量词的全称命题和存在性命题的否定有如下结论:存在性命题的否定是全称命题,全称命题的否定是存在性命题。