08 第一章　1.5　1.5.1　全称量词与存在量词.docxVIP

PAGE7/NUMPAGES7

1.5全称量词与存在量词

1.5.1全称量词与存在量词

1．理解全称量词与存在量词的含义，熟悉常见的全称量词和存在量词．

2．理解全称量词命题和存在量词命题的含义，并能用数学符号表示．

3．会判断一个命题是全称量词命题还是存在量词命题，并会判断它们的真假．

全称量词与全称量词命题

1．定义：短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“?”表示．含有全称量词的命题，叫做全称量词命题．

2．表述形式：全称量词命题“对M中任意一个x，p(x)成立”可用符号简记为?x∈M，p(x).

【微训练】

1．判断正误(正确的打“√”，错误的打“×”)．

(1)命题“正方形都是长方形”是全称量词命题．(√)

(2)命题“有些菱形是正方形”是全称量词命题．(×)

2．下列命题是全称量词命题的是()

A．有的三角形是等边三角形

B．所有2的倍数都是偶数

C．有一个实数，使|x|≤0

D．至少有一个x∈{x|x是无理数}，x2是无理数

B解析：因为选项A，C，D中依次存在“有的”“有一个”“至少有一个”等量词，所以它们都不是全称量词命题，而选项B中有“所有”这个量词，所以该选项正确．

存在量词与存在量词命题

1．定义：短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“?”表示．含有存在量词的命题，叫做存在量词命题.

2．表述形式：存在量词命题“存在M中的元素x，p(x)成立”可用符号简记为?x∈M，p(x).

【微训练】

1．下列命题中，是存在量词命题的是(D)

A．任何一个实数乘0都等于0

B．自然数都是正整数

C．所有的语句都是命题

D．一定存在没有最大值的二次函数

2．命题“存在实数x，y，使得x＋y1”是存在量词命题，用符号表示为?x，y∈R，使得x＋y1.

全称量词命题与存在量词命题的改写与判断

1．将命题“x2＋y2≥2xy”改写成全称量词命题为()

A．对任意x，y∈R，都有x2＋y2≥2xy成立

B．存在x，y∈R，使x2＋y2≥2xy成立

C．对任意x0，y0，都有x2＋y2≥2xy成立

D．存在x0，y0，使x2＋y2≤2xy成立

A解析：改写成全称量词命题：对任意x，y∈R，都有x2＋y2≥2xy成立．

2．用全称量词或存在量词表示下列语句：

(1)有理数都能写成分数形式；

(2)方程x2＋2x＋8＝0有实数解．

解：(1)任意一个有理数都能写成分数形式．

(2)存在实数x，使方程x2＋2x＋8＝0成立．

【类题通法】

判断一个命题是全称量词命题还是存在量词命题的关键是看量词．由于某些全称量词命题的量词可能省略，所以要根据命题表达的意义判断，同时要会用相应的量词符号正确表达命题．

全称量词命题与存在量词命题的真假判断

判断下列命题的真假．

(1)?x∈R，x2＋1eq\f(1,2)；

(2)?α，β∈R，(α－β)2＝(α＋β)2；

(3)存在一个数既是偶数又是负数；

(4)每一条线段的长度都能用正有理数表示；

(5)存在一个实数x，使等式x2＋x＋8＝0成立．

解：(1)真命题，因为x2≥0，所以x2＋1≥1，所以x2＋1eq\f(1,2)恒成立．

(2)真命题，例如α＝0，β＝1，符合题意．

(3)真命题，如－2，－4等既是偶数又是负数．

(4)假命题，如边长为1的正方形的对角线长为eq\r(2)，它的长度就不是有理数．

(5)假命题，因为该方程的判别式Δ＝－310，故无实数解．

【类题通法】

判断全称量词命题和存在量词命题真假的方法

(1)要判定一个全称量词命题为真，必须对给定集合中的每一个元素x，命题p(x)都为真；但要判定一个全称量词命题为假时，只要在给定的集合中找到一个元素x，使命题p(x)为假．

(2)要判定一个存在量词命题为真，只要在给定的集合中找到一个元素x，使命题p(x)为真；要判定一个存在量词命题为假，必须对给定集合中的每一个元素x，命题p(x)都为假．

全称量词命题与存在量词命题的应用

已知s是关于t的二次函数，其图象如下图所示．记集合M＝{t|2≤t≤8}，试探究下列两个问题．

探究1若全称量词命题“?t∈M，as或as”为真命题，如何如何确定实数a的取值范围？

答案：?t∈M，a＞s转化为a＞smax；?t∈M，a＜s转化为a＜smin.

探究2若存在量词命题“?t∈M，a＞s或as”为真命题，如何确定实数a的取值范围？

答案：?t∈M，a＞s转化为a＞smin；?t∈M，a＜s转化为a＜smax.

1．若命题p：?x∈R，x2＋x－a0为真命题，求实数a的取值范围．

解：因为命题p：?x∈R，x2＋x－a＞0为真命题，所以Δ＝1＋4a＜0恒成立，解得a＜－eq\f(1,4)，所以a的