命题中的两“否”形式的辩析浅谈命题的否定与否命题.docxVIP

命题中的两“否”形式的辩析一一浅谈命题 的否定与否命题 《数学之友》2010年第20期 命题中的两 解题探索 ”否”形式的辩析 浅谈命题的否定与否命题 朱晓红 （江苏省郑梁梅高级中学,223300） 在高屮数学屮学习”简易逻辑”时，有些同学对 命题的否定不知如何把握，口容易与一个命题的否 命题混淆，本文想就此作一辩析. 若P是一个命题，则P是命题P的否定?如果 命题P可以改写为”若A,则氏的形式，则P应为 喏A,则非B”. 命题喏A贝J”的否命题是喏A,则B”， 则对命题的题设与结论同时否定.这与上述P是 不同的,P只对结论进行了否定?例如： 命题:相似三角形是全等三角形（假）. 命题的否定形式:相似三角形不是全等三角形 （真）? 原命题的否命题:不相似的三角形不是全等三 角形（真）? 表1命题的否定形式与否命题的真假关系 原命题否定形式否命题 真命题假命题与原命题的 假命题真命题真假无关 把握好命题的否定和正确地写出命题的否命 题，必须掌握一些关键词语的否定. 表2关键词语的否定 1关键词大（小）于是有全，都任何.所有的至少有??r至多有-I” 『否定不大（小）于不是元不全，不都某些，有儿个也没有至少有两个 例1写出下列命题的否命题： ⑴若mgt;O,则关于的方程+— m=0有 实数根. （2）若,Y都是奇数，则+Y是奇数. ⑶若abc=O,则.,b,c中至少有一个为0. ⑷当 Cgt;0 时，若 0gt;b,则口 cgt;bc. 解:原命题的否命题分别是： ⑴若mWO,则关于的方程+—m=0无 实数根. （2） 若,Y不都是奇数，则+Y不是奇数. （3） 若 abcHO,则 o,b,c 全不为 0. ⑷当cgt;O时，若0W6,则ac?be. 评注:在（4）中cgt;O是大前提,不要对其进行 否定. 例2写出命题”若amp;ABC是等腰三角形，则它 有两个内角相等”的否命题和逆否命题，并判断其 真假. 解:否命题:若AABC不是等腰三角形,则它的 任何两个内角不相等（真）； 逆否命题:若ZXABC的任何两个内角不相等， 则它不是等腰三角形（真）. 评注:逆否命题（若q则P）是否命题（若P N?,q）的逆命题. 例3写出下列命题的”非P形式”的重合 命题. P:对顶角相等； p:平行四边形一定是菱形； 1 p： 分析:(l)P:x,l ■顶角相等(真),P:对顶角不相 等(假)? ⑵平行四边形一定是菱形(假)，这里一定 是”的否定是用”一定不是”还是”不一定是”呢?若 为平行四边形一定不是菱形”，仍为假命题.与真 值表相违，故原命题的P平行四边形不一定是菱 形(真)? 若认为.1 p:lt;o,那就错了?_1 P 是对p的否定，不只包括lt;O还有+2 3=0,或者由 P:gt; 1 或lt;一 3,.?.p:一 3W W1. 评注:写出命题P的”非P”形式,不能机械地按 前面的表2进行否定,要注意对命题P进行整体考 虑或考虑P与一 P的真假，不能与真值表相悖. 例4写出下列命题的”非p形式”的复合 命题. 二0 或 Y=0; 9 ■ 71? 《数学之友gt;2010年第20期 AABC是等腰直角三角形. 分析:命题P或q,与P且q的否定如表3. 表3复合命题的”非P”形式 命题P或qIP且q 否定卩且qIP或q 解:⑴由二0或Y=0,知xy=O,故啡p”形 式为:H0且）,工0（即xy#O）. （2）否定:AABC不是等腰三角形或不是直角 三角形. 例5已知函数,（）是（一汽十00）上的增函 数，口,beR,命题喏口 +b$0,则 a）+b）— 口）+— 6）”,写出逆命题，判断其真假，并证明你 的结论. 解:逆命题，已知函数）是（一汽十00）上的 増函数,a,bGR,若 a）+6）一 口）+— 6）, 则口 +bIgt;O.但逆命题的真假性不容易判断 因为原命题的逆命题与否命题是等价的，故可 写出其否命题是:己知函数）是（一 8,+ OO）上 的增函数,a,b e R,若 a+blt;O,则厂（口）+厂（3lt; 厂（一 II）+— 6）. 证明:,.a+blt;0,ooalt;一 b. 又函数fl）是（一8,+00）上的增函数， 口)lt;,(一 b),同理,(b)lt;—). 口)+b)lt;一 n)+— 6). 原命题否命题是真命题，从而原命题的逆命 题是真命题. 例6用反证法证明:AABC中，若C是直 角，则B—定是锐角. 分析:B —定是锐角的否定是LB 一定不是 锐角（注意:不能否定为不一定是锐角），即 Igt;90.，则 C+/_B$180?，矛盾?（证明略） 评注:反证法与命题的否定形式关系密切，它是 从假设”命题结论的否定成立”出发,经过推理得出 矛盾从而肯定命题结论正确的一种证明方法. （上接70页