浅谈命题之定.docVIP

浅谈命题之否定 夏春盛? ??? 在形式逻辑中，我们把反映事物具有或不具有某种属性或关系的思维形式叫做判断．表达判断的语句叫命题．在数学中，用语言、符号或式子表示的并且能区别真假的语句叫数学命题．命题按能否分解可分为简单命题和复合命题，按其所判断的是事物的性质或存在的关系可分为性质命题和关系命题．在数学证明中，准确无误地写出一个命题的否定式是十分重要的． 1? 简单命题的否定 1．1? 性质命题的否定 ??? 每一个性质命题都由主项、谓项、量项、联项四部分组成，其中立项表示被判断的对象；谓项表示主项的性质；量项表示主项的数量，分为全称量项和特称量项，全称量项常用“一切”、“所有”、“每一个”、“任意一个”等词语表达，特称量项常用“有些”、“存在”、“至少有一个”等词语表达；联项表示主项与谓项的联系，分为肯定联项与否定联项，前者常用“是”、“有”表示，后者常用“不是”。“没有”表示．如命题“至少有一个质数不是奇数”中，“质数”为主项，“奇数”为谓项，“至少有一个”为量项，“不是”为联项． ??? 性质命题除全称命题和特称命题外，还有一种命题叫做单称命题，它的主项的外延不是一类事物，而是单独的个体．单称命题的否定极为简单，只要否定“联项”即可．例如“2是偶数”的否定为“2不是偶数”；“小王不是团员”的否定为“小王是团员”． ??? 而全称命题和特称命题的否定，一般要对“量项”和“联项”同时进行否定，全称与特称互为否定，肯定与否定互为否定．例如，命题“一切矩形是平行四边形”的否定为“存在一个矩形不是平行四边形”；命题“至少有一个质数不是奇数”的否定为“所有的质数都是奇数”．特别要注意的是，由于全称量项表示主项的全部外延，往往可以省略不写，从而在作命题否定时易将全称命题误当为单称命题处理而出错，如将命题p“实数的绝对值是正数”否定?p写成“实数的绝对值不是正数”这就错了．很显然，这里的“p”与“?p”都是假命题，“?p”复合命题的真值表相矛盾．究其原因，命题p为全称命题而不是单称命题，省略了量词“所有”，正确的否定形式是“存在一个实数的绝对值不是正数”．事实上由于实数是一个全称概念，命题p应为“实数的绝对值（都）是正数”故其否定形式亦可写成“实数的绝对值不都是正数”． ??? 另外，我们常用“都是”表示全称肯定，用“不都是”表示特称否定，这两者互为否定；而用“都不是”表示全称否定，它的否定形式应特称肯定，可用“至少有一个是”来表达． 1．2? 关系命题的否定 ??? 关系命题由主项、谓项和量项三部分组成，主项是存在某种关系的对象，谓项是对象之间的某种关系，量项表示主项的数量（用全称量词和特称量词表示）．关系命题的否定与性质命题的否定相似，需要对“谓项”和“量项”同时进行否定，例如命题“对任意实数x，都有x2 ? 4 ? 0”的否定是“存在一个实数x，使得x2 ? 4≤0”；命题“至少有一个锐角?，使sin ? ? 0”的否定是“对所有的锐角?，都有sin ? ? 0”．和性质命题类似，作命题否定时，不能把省略量词的全称命题当作单称命题去做，例如命题“自然数的平方大于零”的否定不是“自然数的平方不大于零” 2? 复合命题的否定 ??? 复合命题有五种基本形式，分别用五个逻辑联结词“非”、“且”、“或”、“若…则…”、“等值”（?、∧、∨、?、?）由命题p或q组成． 2．1? 非命题?p的否定 “?p”是对命题“p”的否定，命题“?p”与命题“p”的真假正好相反．对“?p”的否定，就是对命题“p”的否定之否定，因此，命题“p”与命题“?(?p )”具有相同的真值，逻辑学上称为逻辑等价或等价命题．故“p”可作为“?p”的否定（有特殊要求的除外）．例如命题“eq \r(2)不是有理数”的否定是“eq \r(2)是有理数”，命题“不是每个人都会开车”的否定是“并非不是每个人都会开车”即“每个人都会开车”． 2．2? 联言命题(p∧q)的否定 ??? 用联结词“且（∧）”联结两个命题p、q构成的复合命题“p∧q”称为联言命题．当且仅当p、q、p、q皆真时为真．联言命题(p∧q)的否定可根据德摩根律“?(p∧q) ? (?p)∨(?q)”来写，例如命题“2是质数且是偶数”的否定为“2不是质数或不是偶数”；命题“某班至少有一个同学既不会唱歌又不会跳舞”的否定为“某班所有的同学或者会唱歌或者会跳舞”，即“某班没有一个同学既不会唱歌又不会跳舞．” 2．3 ?选言命题（p∨q）的否定 ??? 用联结词“或（∨）”联结两个命题p、q，构成的复合命题“p∨q”称为选言命题．当且仅当p、q皆假时p∨q为假．与联言命题类似，选言命题的否定可根据德摩根律“?(p∨q) ? (?p)∧(?q)”来写，例如，命题“123是2的倍数或