命题的若干否定在形式逻辑中,我们把反映事物具有或不具有某种属性或关系的思维形式叫做判断.表达判断的语句叫命题.在数学中,用语言、符号或式子表示的并且能区别真假的语句叫数学命题.命题按能否分解可分为简单命题和复合命题,按其所判断的是事物的性质或存在的关系可分为性质命题和关系命题.在数学证明中,准确无误地写出一个命题的否定式是十分重要的.一、简单命题的否定1.性质命题的否定每一个性质命题都由主项、谓项、量项、联项四部分组成,其中立项表示被判断的对象;谓项表示主项的性质;量项表示主项的数量,分为全称量项和特称量项,全称量项常用“一切”、“所有”、“每一个”、“任意一个”等词语表达,特称量项常用“有些”、“存在”、“至少有一个”等词语表达;联项表示主项与谓项的联系,分为肯定联项与否定联项,前者常用“是”、“有”表示,后者常用“不是”
“没有”表示.如命题“至少有一个质数不是奇数”中,“质数”为主项,“奇数”为谓项,“至少有一个”为量项,“不是”为联项.性质命题除全称命题和特称命题外,还有一种命题叫做单称命题,它的主项的外延不是一类事物,而是单独的个体.单称命题的否定极为简单,只要否定“联项”即可.例如“2是偶数”的否定为“二不是偶数”;“小王不是团员”的否定为“小王是团员”.而全称命题和特称命题的否定,一般要对“量项”和“联项”同时进行否定,全称与特称互为否定,肯定与否定互为否定.例如,命题“一切矩形是平行四边形”的否定为“存在一个矩形不是平行四边形”;命题“至少有一个质数不是奇数”的否定为“所有的质数都是奇数”.特别要注意的是,由于全称量项表示主项的全部外延,往往可以省略不写,从而在作命题否定时易将全称命题误当为单称命题处理而出错,如将命题p“实数的绝对值是正数”否定写成“实数的绝对值不是正数”这就错了.很显然,这里的“p”与“”都是假命题,“”复合命题的真值表相矛盾.究其原因,