数学基础从高一开始6、全称量词与存在量词

news/2024/12/4 6:43:37/

数学基础从高一开始6、全称量词与存在量词


目录

数学基础从高一开始6、全称量词与存在量词

全称量词

存在量词

1.判断命题的真假

2.判断命题的真假


 

阅读下列两组命题,语言上有什么特点?

A组:

(1)对任意一个x∈Z,2x+1是整数;

(2)每一个素数都是奇数;

(3)所有的矩形都是平行四边形。(事物的全部) 

B组:

(1)有些三角形是等腰三角形;

(2)至少有一个四边形,它的对角线互相垂直;

(3)存在一个x∈R,使得x^{2}>0.。(事物的一部分)

全称量词

“任意一个” ,“每一个”,“所有的”在逻辑中通常叫做全称量词,用符号“\forall”表示.含有全称量词的命题,叫做全称量词命题。

A组命题改用集合语言叙述为:

(1)对于整数集合中的任意一个元素x,2.x+1是整数。

(2)素数集合中的任意一个元素x都是奇数。

(3)矩形集合中的任意一个元素x都是平行四边形。

结构特点:集合M中的任意一个元素x,都满足条件p。

一般形式:对M中任意一个x,都有p(x)成立。

用符号简记为: \forallx∈M, p(x)。

存在量词

“有些”、“至少有一个”、存在一个”在逻辑中通常叫做存在量词,用符号“\exists”表示.含有存在量词的命题,叫做存在量词命题。

结构特点:集合M中至少存在一个元素x,满足条件p。

一般形式:存在M中的元素x,使得p(x)成立。

用符号简记为:\existsx∈M, p(x)。

1.判断命题的真假

例1:判断下列全称量词命题的真假:

(1)\forallx∈R,|x|+1≥l; 

(2)对任意一个无理数x,x^{2}也是无理数。 

分析:

要判定全称量词命题“\forallx∈M,p(x)” 为真,就需要对集合M中的每个元素x,证明p(x)成立; 要判定它为假,举一个反例即可:在集合M中找一个x0,使得p(x0)不成立。

(1)、\forallx∈R,总有|x|≥0,因此|x+1≥1.所以该命题是真命题。
(2)、\sqrt{2}是无理数,但(\sqrt{2})^{2}=2是有理数。所以该命题是假命题。

2.判断命题的真假

例2:判断下列存在量词命题的真假:

(1)有一个偶数是素数;

(2)存在一个三角形,它的内角和不等于180^{0}

分析要判定存在量词命题“\existsx∈M, p(x)”为真,只需在M中找到一个元素x0,使得p(x0)成 立即可;
要判定它为假,就需要证明M中不存在使p(x)成立的元素,即对M中任意一个元素x,p(x)都不成立。

(1)因为偶数2是素数,所以该命题是真命题。

(2)因为任意一个三角形的内角和都等于180^{0},所以内角和不等于180^{0}的三角形不存在,所以该命题是假命题。


http://www.ppmy.cn/news/3046.html

相关文章

qq录屏怎么弄?图文教程,教你如何使用qq录屏

当你使用电脑时,你会使用什么方法来满足视频录制的需要?事实上,我们常用的通信软件qq就有录屏功能,很多小伙伴可能不知道。qq录屏怎么弄?今天小编给大家带来的qq录屏使用的详细技巧,图文教程,轻…

【Linux】Linux软件包管理器yum

希望你今天有一个好心情 文章目录一、(客户端&&服务器) (软件包&&软件包管理器yum) (利益链&&逻辑链)1.客户端&&服务器2.软件包&&软件包管理器3.一条利益链一条逻辑链二、Linux下包管理器yum的使用(root身份或sudo提权进行搜索list…

如何安然度过行业大萧条,听听10年测试老鸟的分析

国内的互联网行业发展较快,所以造成了技术研发类员工工作强度比较大,同时技术的快速更新又需要员工不断的学习新的技术。因此淘汰率也比较高,超过35岁的基层研发类员工,往往因为家庭原因、身体原因,比较难以跟得上工作…

字符串匹配算法(BFRK)

文章目录题目一、BF算法二、RK算法补充题目 有字符串 str1 和 str2 ,str1 中是否包含 str2,如果没有包含返回 -1,如果包含,则返回 str2 在 str1 中开始的位置 注:保证 str1 和 str2 字符串的长度大于 0 举例&#x…

微服务门神-网关了解

引言 书接上篇 微服务守护神-Sentinel-其他 ,讲完微服务守护神-Sentinel之后,接下来就是微服务门神-网关组件:Gateway 问题引入 小伙伴们都知道在微服务架构中,一个系统会被拆分为很多个微服务,每一个微服务都能对外…

注册微信小程序

文章目录1. 项目结构2. 页面组成3. json配置文件4. 认识页面5. WXML6. WXSS7. js文件8. 宿主环境9. 组件10. API11. 协同工作与发布跟公众号平台不共用一个账号,需要用其它邮箱另行注册,填写身份证信息(姓名、身份证号码)&#xf…

linux常用命令

Ctrlz 暂停命令 ls linux里面 文件和文件夹叫文件 -h 数字以M或G为单位 -a 显示全部文件 包括隐藏文件 -l 显示文件详细信息 -R 大R 递归显示子目录结构 -ld [文件名]显示目录和链接信息 file [文件名] 显示文件的类型和信息 touch 创建空白文件 如果…

Pr:使用作品

利用作品 Production,可将大型复杂工作流拆分为多个可管理的 Pr 项目,并可在作品内跨项目、跨平台(macOS 和 Windows)引用媒体,无论这些资源是在本地存储或是共享的网络存储,作品可让一切保持同步。作品&am…