- 2
- 0
- 约9.89千字
- 约 12页
- 2019-07-19 发布于山东
- 举报
第三节简单的逻辑联结词、全称量词与存在量词
[知识能否忆起]
一、简单的逻辑联结词
1.用联结词“且”联结命题p和命题q,记作p∧q,读作“p且q”.
2.用联结词“或”联结命题p和命题q,记作p∨q,读作“p或q”.
3.对一个命题p全盘否定,就得到一个新命题,记作綈p,读作“非p”或“p的否定”.
4.命题p∧q,p∨q,綈p的真假判断:
p∧q中p、q有一假为假,p∨q有一真为真,p与非p必定是一真一假.
二、全称量词与存在量词
1.全称量词与全称命题
(1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“?”表示.
(2)含有全称量词的命题,叫做全称命题.
(3)全称命题“对M中任意一个x,有p(x)成立”可用符号简记为?x∈M,p(x),读作“对任意x属于M,有p(x)成立”.
2.存在量词与特称命题
(1)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,并用符号“?”表示.
(2)含有存在量词的命题,叫做特称命题.
(3)特称命题“存在M中的一个x0,使p(x0)成立”可用符号简记为?x0∈M,P(x0),读作“存在M中的元素x0,使p(x0)成立”.
三、含有一个量词的命题的否定
命题
命题的否定
?x∈M,p(x)
?x0∈M,綈p(x0)
?x0∈M,p(x0)
?x∈M,綈p(x)
[小题能否全取]
1.(20xx·北京高考)若p是真命题
您可能关注的文档
最近下载
- 文献综述案例及评述.docx VIP
- 建标[2013]44号《建筑安装工程费用项目组成》.doc VIP
- T∕TAF 209.6-2024 移动互联网应用程序(APP)合规开发管理测评规范 第6部分:应用编程接口(API)管理.pdf VIP
- T∕TAF 209.7-2024 移动互联网应用程序(APP)合规开发管理测评规范 第7部分:更新升级管理.pdf VIP
- DB13∕T 3050-2025 突发职业中毒事件调查技术规范.docx VIP
- 2026年辽宁锦州事业单位职业能力倾向测验含答案试题及答案.doc VIP
- 2026年辽宁锦州事业单位职业能力倾向测验含答案试题及答案.doc
- 2026年辽宁锦州事业单位职业能力倾向测验含答案试题及答案.doc VIP
- 广州数控GSK980TDc车床CNC数控系统使用手册.pdf
- 2026年辽宁事业单位职业能力倾向测验含答案.doc VIP
原创力文档

文档评论(0)