版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1.3简单的逻辑联结词、全称(quánchēnɡ)量词与存在量词第一页,共39页。1.3简单的逻辑联结词、全称(quánchēnɡ)量词第二页,共39页。第二页,共39页。第三页,共39页。第三页,共39页。第四页,共39页。第四页,共39页。第五页,共39页。第五页,共39页。第六页,共39页。第六页,共39页。第七页,共39页。第七页,共39页。第八页,共39页。第八页,共39页。一、逻辑联结词1.逻辑联结词:“或”“且”“非”这些词就叫做逻辑联结词.简单命题(mìngtí):不含逻辑联结词的命题(mìngtí).复合命题(mìngtí):由简单命题(mìngtí)与逻辑联结词构成的命题(mìngtí).常用小写的拉丁字母p,q,r,s,……表示命题(mìngtí),故复合命题(mìngtí)有三种形式:p或q;p且q;非p.第九页,共39页。一、逻辑联结词第九页,共39页。2.复合命题的真值“非p”形式(xíngshì)复合命题的真假可以用下表表示:p非p真
.假
.假真第十页,共39页。2.复合命题的真值p非p假假真第十页,共39页。“p且q”形式复合命题(mìngtí)的真假可以用下表表示:pqp且q真真
.真假
。假真
。假假
。假真假假第十一页,共39页。“p且q”形式复合命题(mìngtí)的真假可以用下表表示“p或q”形式(xíngshì)复合命题的真假可以用下表表示:pqp或q真真
.真假
.假真
.假假
.真真真假第十二页,共39页。“p或q”形式(xíngshì)复合命题的真假可以用下表表示注:①上面表示命题真假的表叫真值表;②由真值表得:“非p”形式复合命题的真假与p的真假相反;“p且q”形式复合命题当p与q同为真时为真,其他情况为假;“p或q”形式复合命题当p与q同为假时为假,其他情况为真;③真值表是根据简单命题的真假,判断由这些(zhèxiē)简单命题构成的复合命题的真假,而不涉及简单命题的具体内容.第十三页,共39页。注:①上面表示命题真假的表叫真值表;②由真值表得:“非3.一些(yīxiē)常用正面词语的否定:正面词语否定等于不等于大于不小于(大于或等于)是不是都是不都是(至少有一个不是)任意的某个第十四页,共39页。3.一些(yīxiē)常用正面词语的否定:正面词语否定等于不正面词语否定所有的某些至多有一个至少有两个至少有一个一个也没有至多有n个至少有n+1个p或q的否定(fǒudìng):;p且q的否定(fǒudìng):.非p且非q非p或非q第十五页,共39页。正面词语否定所有的某些至多有一个至少有两个至少有一个一个也没二、全称命题与特称命题1.全称量词(liàngcí):短语“对所有的”、“对任意一个”、“都是”、“都有”、“任何的”、“都不是”在逻辑中通常称为量词(liàngcí),用符号“”表示.2.存在量词(liàngcí):短语“存在一个”、“至少有一个”、“不都是”、“不都有”、“存在”、“至少”在逻辑中通常称为量词(liàngcí),用符号“”表示.全称(quánchēnɡ)存在(cúnzài)第十六页,共39页。二、全称命题与特称命题全称(quánchēnɡ)存在(cú3.全称命题与特称命题短语“所有”在陈述中表示所述事物的全体,逻辑(luójí)中通常叫做全称量词,并用符号表示.含有全称量词的命题,叫做.短语“有一个”、“有些”或“至少有一个”在陈述中表示所述事物的个体或部分,逻辑(luójí)中通常叫做存在量词,并用符号表示,含有存在量词的命题,叫做命题.全称命题的否定是特称命题;特称命题的否定是.全称(quánchēnɡ)命题特称全称(quánchēnɡ)命题第十七页,共39页。3.全称命题与特称命题全称(quánchēnɡ)命题特称全第十八页,共39页。第十八页,共39页。第十九页,共39页。第十九页,共39页。第二十页,共39页。第二十页,共39页。第二十一页,共39页。第二十一页,共39页。第二十二页,共39页。第二十二页,共39页。第二十三页,共39页。第二十三页,共39页。第二十四页,共39页。第二十四页,共39页。第二十五页,共39页。第二十五页,共39页。第二十六页,共39页。第二十六页,共39页。第二十七页,共39页。第二十七页,共39页。第二十八页,共39页。第二十八页,共39页。第二十九页,共39页。第二十九页,共39页。第三十页,共39页。第三十页,共39页。第三十一页,共39页。第三十一页,共39页。第三十二页,共39页。第三十二页,共39页。第三十三页,共39页。第三十三页,共39页。第三十四页,共39页。第三十四页,共39页。第三十五页,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 中国民航大学《中级财务会计Ⅱ》2023-2024学年第一学期期末试卷
- 郑州理工职业学院《服装展示设计》2023-2024学年第一学期期末试卷
- 浙江传媒学院《材料科学基础A》2023-2024学年第一学期期末试卷
- 餐饮流程优化培训模板
- 保险产品创新培训模板
- 企业历程与发展模板
- 山东省济宁市2024-2025学年高三(上)期末物理试卷(含答案)
- 甘肃省临夏州高中2025届高三上学期期末质量监测数学试卷(含答案)
- 伊犁职业技术学院《色彩头像技法解析》2023-2024学年第一学期期末试卷
- 新余学院《当代广告学概论》2023-2024学年第一学期期末试卷
- 慢性高血压并发重度子痫前期1
- 质量改进措施及提升计划方案
- (2024年)肠梗阻完整版课件
- 商务英语翻译(英译汉)lecture
- 广东省大湾区2023-2024学年高一上学期1月期末联合考试地理试题【含答案解析】
- 医院园林策划方案
- 甲型流感病毒科普
- 人教版2023-2024学年四年级数学上册典型例题系列 第四单元:行程问题“拓展型”专项练习(原卷版)
- 宏观社会工作1
- 医疗大数据分析与挖掘技术
- 麦凯66表格(完全版)
评论
0/150
提交评论