全称量词与存在量词
想一想??
下列语句是命题吗? 1 )与), 3 2 )与4 )之间有什么关系? 1) x ? 3 2)2 x ? 1 是整数 3)对所有的 x ? R, x ? 3 4)对任意一个x ? Z , 2 x ? 1是整数
短语“所有的”“任意一个” 在逻辑中通常叫 做全称量词.用符号“ ”表示。 ? 含有全称量词的命题,叫做全称命题。
例如: 1 )对任意n ?, 2n ? 1是奇数。 2 )所有的正方形都是矩形。
常见的全称量词还有 “一切” “每一个” “任给” “所有的” 等.
通常,将含有变量x的语句用p(x)、q(x)、 r(x)表示,变量x的取值范围用M表示。 全称命题“对M中任意一个x,有p(x)成立. 简记为:?x ? M,p(x)
读作“任意x属于M,有P(x)成立”。
例1 判断下列全称命题的真假: 1)所有的素数都是奇数;
2)?x ? R, x2 ? 1 ? 1; 2 3)对每一个无理数x,x 也是无理数.
想一想??
下列语句是命题吗? 1 )与), 3 2 )与4 )之间 有什么关系? 1)2 x ? 1 ? 3; 2) x能被2和3整除; 3)存在一个 x ? R, 使 2 x ? 1 ? 3; 4)至少有一个x ? Z , x能被 2和3整除。
短语“存在一个”“至少一个” 在逻辑中通常 叫做存在量词.用符号“ ”表示。 ? 含有存在量词的命题,叫做特称命题。
例如: 1 )有一个素数不是奇数。 2 )有的平行四边形是菱形。
常见的存在量词还有
“有些” “有一个” “对某个” “有 的”等.
通常,将含有变量x的语句用p(x)、q(x)、 r(x)表示,变量x的取值范围用M表示。 特称命题“存在M中的一个x,使p(x)成立. 简记为:?x ? M,p(x)
读作“存在一个x属于M,使P(x)成立”。
例1 判断下列特称命题的真假: 1)有一个实数x,使x +2x+3=0成立;
2)存在两个相交平面垂直同一条直线; 3)有些整数只有两个正因数.
2
想一想?
写出下列命题的否定
?x ? M,p(x) 1)所有的矩形都是平行四边形;
2)每一个素数都是奇数; 2 3)?x ? R, x ? 2 x ? 1 ? 0 否定:
2)存在一个素数不是奇数;
?x ? M,p(x) ?x ? M,p(x)
1)存在一个矩形不是平行四边形;?x ? M,?p(x)
3)?x ? R, x ? 2 x ? 1 ? 0
2
?x ? M,?p(x) ?x ? M,?p(x)
这些命题和它们的否定在形式上有什么变化?
从形式看,全称命题的否定是特称命题。
含有一个量词的全称命题的否定,有下面的结论 全称命题 p : ?x ? M,p(x)
它的否定 ?p :
?x ? M,?p(x)
例1写出下列全称命题的否定: 1)p:所有能被3整除的整数都是奇数;
2)p:每一个四边形的四个顶点公圆; 2 3)p:对任意x ? Z,x 的个位数字不等于3。
想一想?
写出下列命题的否定 1)有些实数的绝对值是正数;
?x ? M,p(x)
2)某些平行四边形是菱形; 3)?x ? R, x2 ? 1 ? 0
否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) ?x ? R, x2 ? 1 ? 0
?x ? M,p(x) ?x ? M,p(x)
?x ? M,?p(x)
?x ? M,?p(x) ?x ? M,?p(x)
这些命题和它们的否定在形式上有什么变化?
从形式看,特称命题的否定都变成了
全称命题. 含有一个量词的特称命题的否定,有下面的 结论
特称命题 p : ?x ? M,p(x) 它的否定
?p : ?x ? M,?p(x)
例1 写 出下列特 称命题 的否定: 1)p:?x ? R,x2 +2x+3 ? 0;
2)p:有的三角形是等边三角形;
3)p:有一个素数含有三个正因子。
例2写出下列命题的否定,并判断真假: 1)p:任意两个等边三角形都是相似的; 2)p:?x ? R,x2 +2x+2=0;
练习: P28
作业: P29