- 629.00 KB
- 2021-06-09 发布
- 1、本文档由用户上传,淘文库整理发布,可阅读全部内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,请立即联系网站客服。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细阅读内容确认后进行付费下载。
- 网站客服QQ:403074932
1.4
全称量词 与存在量词
高中选修
《
数学
2-1》
(新教材)
哥德巴赫猜想是世界近代三大数学难题之一
.1742
年,由德国中学教师哥德巴赫在教学中首先发现的
.
1742
年
6
月
7
日哥德巴赫写信给当时的大数学家欧拉,正式提出了以下的猜想:
1)
任何一个大于
6
的偶数都可以表示成两个质数之和.
2)
任何一个大于
9
的奇数都可以表示成三个质数之和.
这就是哥德巴赫猜想.
欧拉在回信中说,他相信这个猜想是正确的,但他不能证明
.
从此,这道数学难题引起了几乎所有数学家的注意。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的
“
明珠
”
.
中国数学家陈景润于
1966
年证明:
“
任何充分大的偶数都是一个质数与两个质数的乘积的和
”
通常这个结果表示为
“
1+2
”
这是目前这个问题的最佳结果.
科学猜想也是命题.哥德巴赫猜想它是一个迄今为止仍然是一个没有得到正面证明也没有被推翻的.
想一想??
短语“所有的”“任意一个” 在逻辑中通常叫做全称量词.用符号“ ”表示。
含有全称量词的命题,叫做
全称命题。
是整数
是整数
常见的全称量词还有“一切” “每一个” “任给”“所有的”等
.
结论:由命题的定义出发,(
1
)(
2
)不是命题,(
3
)(
4
)是命题。
分析(
3
)(
4
)分别用短语“对所有的”“对任意一个”对变量
x
进行限定,从而使(
3
)(
4
)称为可以判断真假的语句。
对
数
要判断一个全称命题为真,必须对在给定集合的每一个元素
x
,使命题
p(
x
)
为真;但要判断一个全称命题为假时,只要在给定的集合中找到一个元素
x
,使命题
p(
x
)
为假。
练习:判断下列命题的真假:
(1)
(2)
想一想??
短语“存在一个”“至少一个” 在逻辑中通常叫做存在量词.用符号“ ”表示。
含有存在量词的命题,叫做
特称命题。
常见的存在量词还有“有些” “有一个” “对某个” “有的”等
.
要判断一个特称命题为真,只要在给定的集合中找到一个元素
x
,使命题
p(
x
)
为真;要判断一个特称命题为假,必须对在给定集合的每一个元素
x
,使命题
p(
x
)
为假。
练习:判断下列命题的真假:
(1)
(2)
例、判断下列命题是全称命题,还是特称命题?
(
1
)方程
2x=5
只有一解;
(
2
)凡是质数都是奇数;
(
3
)方程
2x
2
+
1=0
有实数根;
(
4
)没有一个无理数不是实数;
(
5
)如果两直线不相交,则这两条直线平行;
(
6
)集合
A∩B
是集合
A
的子集;
练习:判断下列语句是不是全称命题或者存在性命题,如果是,用量词符号表达出来。
(
1
)中国的所有江河都注入太平洋;
(
2
)
0
不能作除数;
(
3
)任何一个实数除以
1
,仍等于这个实数;
(
4
)每一个向量都有方向吗?
想一想?
含有一个量词的全称命题的否定
,
有下面的结论
全称命题
它的否定
从形式看,全称命题的否定是特称命题。
1)
所有实数的绝对值都不是正数
;
2)
每一个平行四边形都不是菱形
;
3)
想一想?
否定
:
含有一个量词的特称命题的否定
,
有下面的结论
特称命题
它的否定
从形式看
,
特称命题的否定都变成了全称命题
.
写
称
题
含有一个量词的命题的否定
1
全称命题
p
:
x
∈M
,
p(x)
p
它的否定
:
x
∈M
,
p(x)
2
特称命题
p
:
x
∈M
,
p(x)
p
它的否定
:
x
∈M
,
p(x)
全称命题的否定是特称命题
,
特称命题的否定是全称命题
.
作业:
P20
-
21
习题
5
1
、
4