内容正文:
1.5.1 全称量词与存在量词
德国数学家哥德巴赫提出这样一个问题:“任意取一个奇数,可以把它写成三个质数之和,比如77,77=53+17+7”,同年欧拉首先肯定了哥德巴赫猜想的正确,并且认为:每一个偶数都是两个质数之和,虽然通过大量检验这个命题是正确的,但是不需要证明.这就是被誉为“数学皇冠上的明珠”的哥德巴赫猜想.200多年后我国著名数学家陈景润证明了“1+2”即:凡是比某一个正整数大的任何偶数,都能表示成一个质数加上两个质数相乘,或者表示成一个质数加上一个质数.从陈景润的“1+2”到“1+1”似乎仅一步之遥,但它是一个迄今为止仍然没有得到正面证明也没有被推翻的命题.要想正面证明就需要证明“任意一个”“每一个”“都”这种命题成立,要想推翻它只需“存在一个”反例.
下列语句是命题吗?比较(1)和(3),(2)和(4),它们之间有什么关系?
(1);
(3)对所有的, ;
(2)是整数;
(4)对任意一个是整数;
下列语句是命题吗?比较(1)和(3),(2)和(4),它们之间有什么关系?
(1);
(3) 存在一个,使 ;
(2) 能被2和3整除;
(4) 至少有一个 能被2和3整除;
短语“所有的”“任意一个”在逻辑中通常叫做全称量词.
并用符号“”表示.
含有全称量词的命题,叫做全称量词命题.
对中任意一个成立, 简记为:
1.全称量词
2.全称量词命题
命题 全称量词命题“∀x∈M,p(x)”
表述
形式 ①对所有的x∈M,都有p(x)成立;
②对一切x∈M,都有p(x)成立;
③ 对每一个x∈M,都有p(x)成立;
④任选一个x∈M,都有p(x)成立;
⑤凡是x∈M,都有p(x)成立.
短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词.并用符号“”表示.
含有存在量词的命题,叫做存在量词命题.
存在中的元素成立, 简记为:
3.存在量词
4.存在量词命题
命题 存在量词命题“∃x∈M,p(x)”
表述形式 ①存在x∈M,使p(x)成立;
②至少有一个x∈M,使p(x)成立;
③对有些x∈M,使p(x)成立;
④对某些x∈M,使p(x)成立;
⑤有一个x∈M,使p(x)成立.
请思考并回答下列问题:
(1)短语“都不是”是全称量词吗?“不都是”呢?
(2)短语“至多有一个”是存在量词吗?为什么?
例1.判断下列命题是全称量词命题还是存在量词,并用量词符号“”“”表示:
(1)所有实数x都能使x2+x+1>0成立;
(2)对所有实数a,b,方程ax+b=0恰有一个解;
(3)一定有整数x,y,使得 3x-2y=10 成立;
(4)所有的有理数x都能使x2+x+1是有理数.
判断为真,需证明;
判断为假,举反例.
5.全称量词命题、存在量词命题真假性的判断
练习:
1.(多选)下列命题是全称量词命题且为真命题的是( )
A.一切实数均有相反数
B.a∈N,方程ax+1=0都有实数根
C.等腰梯形的对角线相等
D.π是无理数
练习
2.(多选)下列命题中,既是存在量词命题又是真命题的有( )
A.至少有一个实数x,使x³+1=0
B.所有正方形都是矩形
C.ヨx∈R,使 x2x≤0
D.x∈R,使x22x+2=0
例 2 集合A={x|-2≤x5},B={x|m+1x2m-1},且 B.若命题p:x∈B,x∈A 是真命题,求实数m的取值范围.
练习:已知命题 :∈{x|≤x≤1},a≥0,命题:x∈R,x2+2x+2-a=0.若与都是真命题,求实数a的取值范围.
课堂小结
1.知识清单:
(1)全称量词、全称量词命题的定义及符号表示.
(2)存在量词、存在量词命题的定义及符号表示.
(3)全称量词命题、存在量词命题的真假判断.
2.方法归纳:特例法、分类讨论.
3.注意:准确运用符号语言.
5.已知函数1= ,=-2x2-m . 若对{x|-1≤x≤3},
ヨx₂{x|0x},使得12,则实数m的取值范围为______
$