1.4全称量词特称量词课件.ppt

1.4 全称量词与特称量词 * 第一章 常用逻辑用语 （1）与(3)区别是对所有的x∈R，x3； （2）与(4)区别是对任意一个x∈Z，2x+1是整数。 短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“ ”表示 含有全称量词的命题， 叫做全称命题. 常见的全称量词还有 “一切” “每一个” “任给” 等 全称命题举例： 全称命题符号记法： 命题：对任意的n∈Z，2n+1是奇数； 所有的正方形都是矩形。 全称命题“对M中任意一个x，有p(x)成立 ”可用符号简记为： 读作“对任意x属于M，有p(x)成立” 要判定全称命题“ x∈M,p(x) ”是真命题， 需要对集合M中每个元素x, 证明p(x)成立； 如果在集合M中找到一个元素x0,使得p(x0)不 成立，那么这个全称命题就是假命题. 判断全称命题真假 举反例 例1 判断下列全称命题的真假： （1）所有的素数都是奇数； （2） （3）对每一个无理数x，x2也是无理数。 （4）每个指数函数都是单调函数； （5）任何实数都有算术平方根； 特称命题举例： 特称命题符号记法： 命题：有的平行四边形是菱形； 有一个素数不是奇数。 特称命题“存在M中的一个x0，使p(x0)成立 ”可用符号简记为： 读作“存在一个x0属于M，使p(x0)成立”。 判断特称命题真假 要判定特称命题 “ x0∈M, p(x0)”是 真命题，只需在集合M中找到一个元素x0,使 p(x0)成立即可，如果在集合M中，使p(x) 成立的元素x不存在，则特称命题是假命题. 例2 判断下列特称命题的真假： （1）有一个实数x0，使x02+2x0+3=0； （2）存在两个相交平面垂直于同一条直线； （3）有些整数既不是质数又不是合数。 （4） （5） *