高中数学全称量词和存在量词.ppt

会称量惘与存在量惘  问题:命题p“面积相等的三角形是全等三角 形”的否定形式→p为“面积相等的三角形不 是全等三角形”对吗?若不对,请写出一D 命题p可改写为:“任意两个面积相等的 三角形全等。” 答:它的否定应为“存在两个面积相等的三 角形不全等。”  短语“存在一个”“至少有一个”在逻辑 中通常叫做存在量词,并用符号“彐”表示, 含有存在量词的命题,叫做特称命题 例如,命题: 存在一个实数x,x2-2x-3<0 符号表示为:彐x,x2-2x-3<0 请同学们,举一个例子…  怎样写含有量词的命题的否定? 例试写出下列命题的否定形式 (1)每一个素数都是奇数; 解:否定:存在一个素数不是奇数 (2)菱形是正方形 解:原命题可改写为:所有菱形都是正方形; ∴这个命题的否定为:存在一个菱形不是正方形 (3)x∈R,x2+1<0; 解:否定:Vx∈R,x2+1≥0 (4)某些平行四边形是菱形 解:每一个平行四边形都不是菱形.