选修2-11.4全称量词与存在量词课件.ppt

* 命题p可改写为：“任意两个面积相等的三角形全等。” 广东省阳江市第一中学周如钢 知识要点1 知识要点2 例1 例1答案 * * * 问题:命题p“面积相等的三角形是全等三角形”的否定形式(p为“面积相等的三角形不是全等三角形”对吗？若不对，请写出(p. 短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“(”表示，含有全称量词的命题，叫做全称命题。 课外练习:已知命题p:(（0,+∞），三个数，，中至少有一个不小于2 .试写出(p,并证明它们的真假. 怎样写含有量词的命题的否定? 全称命题p: . 解:(p:((0,+∞),三个数,,全小于2 . 假设(p是真命题,则((0,+∞), ++6 ∵++= ∴推出矛盾,由此可知(p是假命题,∴p是真命题 练习:写出下列命题的否定,并判断所写命题的真假. ⑴不论取任何实数,方程都有实根; ⑵存在一个实数,使得 答：它的否定应为 “存在两个面积相等的三角形不全等。” 例如，命题： 对任意的，. 符号表示为:(,. 请同学们,举一个例子……. 短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“(”表示，含有存在量词的命题，叫做特称命题。 例如，命题： 存在一个实数,. 符号表示为:( ,. 请同学们,举一个例子……. 例 试写出下列命题的否定形式: ⑴每一个素数都是奇数; 解:否定:存在一个素数不是奇数. ⑵菱形是正方形; 解:原命题可改写为:所有菱形都是正方形; ∴这个命题的否定为:存在一个菱形不是正方形. ⑶(,; 解:否定:(,. ⑷某些平行四边形是菱形. 解:每一个平行四边形都不是菱形. 即“全称肯定”的否定是“特称否定”， 注:⑴判断特称命题为真,只要找一个例子即可; ⑵判断全称命题为假,只要找一个反例即可; ⑶证明全称命题为真,要证明所有的都成立. 它的否定(p: . 另外“全称否定”的否定是“特称肯定”. 反过来也一样. 全称量词与存在量词