简单的逻辑联结词汇.pptVIP

【反思·感悟】1.解答本例(1)时要善于运用特殊化的思想，求解本例(2)时，易对“m满足关于x的方程2ax+b=0”不理解，致使无法求解. 2.要注意区分全称命题与特称命题，在判断真假时采用不同的思考方法. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【变式备选】判断下列命题是全称命题还是特称命题，并判断其真假. (1)对数函数都是单调函数； (2)至少有一个整数，它既能被2整除，又能被5整除； (3) ∈{x|x是正实数},log2x00. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【解析】(1)本题隐含了全称量词“所有的”，原命题应为：“所有的对数函数都是单调函数”，是全称命题，且为真命题； (2)命题中含有存在量词“至少有一个”，因此是特称命题，且为真命题； (3)命题中含有存在量词“ ”，是特称命题，且为真命题. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　　　　　　　　含有一个量词的命题的否定 【方法点睛】 对全(特)称命题进行否定的方法 (1)找到命题所含的量词，没有量词的要结合命题的含义加上量词，再按下表进行否定. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 原语 句 否定 形式 是 不是 都是 不都是 ＞ ≤ 至少有 一个 一个也 没有 至多有 一个 至少有 两个 对任意 x∈A使 p(x)真 存在x0∈A使p(x0)假 (2)找到p(x)并否定. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【提醒】要判断“　”的真假，可直接判断，也可以先判断 “p”的真假，从而可知“　”的真假. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【例3】(1)(2011·辽宁高考)已知命题p： n∈N， 2n＞1 000，则　p为( ) (A)　n∈N，2n≤1 000　　　(B)　n∈N，2n＞1 000 (C)　n∈N，2n≤1 000　　　(D)　n∈N，2n＜1 000 (2)写出下列命题的否定，并判断真假. ①所有的矩形都是平行四边形； ②每一个素数都是奇数； ③有些实数的绝对值是正数； ④某些平行四边形是菱形. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【解题指南】首先弄清命题是全称命题还是特称命题，再针对不同的形式加以否定. 【规范解答】(1)选A.命题 是特称命题，其否定为 (2)①存在一个矩形不是平行四边形，假命题； ②存在一个素数不是奇数，真命题； ③所有的实数的绝对值都不是正数，假命题； ④每一个平行四边形都不是菱形，假命题. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【互动探究】本例(1)中的条件不变，试判断命题p与命题　 的真假. 【解析】当n=10时，210=1 024＞1 000，故命题p为真命题，由 p与　真假的关系知，　为假命题. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client P