【第1章】 基础：逻辑和证明

最新推荐文章于 2022-11-13 10:29:10 发布
最新推荐文章于 2022-11-13 10:29:10 发布
阅读量1.8k 收藏 2
点赞数
分类专栏： 离散数学及其应用7 中文版
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_34536551/article/details/78069410
版权
本文介绍了逻辑中的基本概念，包括命题的否定、条件语句（蕴含）及其逆命题、逆否命题和反命题的区别。强调了条件语句在p为假时，q的真值不影响条件语句的真实性。还探讨了逻辑等价、量词（全称量化和存在量化）以及论域的概念，并指出全称量词在合取式中的分配性和存在量词在析取式中的分配性。
摘要由CSDN通过智能技术生成

这里写图片描述

这里写图片描述

● 命题的否定也可以看做否定运算符 作用在命题上的结果。否定运算符从一个已知命题构造出一个新命题。

这里写图片描述

这里写图片描述

注意： 在逻辑合取中， 有时候用到“但是”一词， 而非“并且”一词

这里写图片描述

这里写图片描述

这里写图片描述

最低0.47元/天 解锁文章
To-String
关注
专栏目录
【离散数学】逻辑与证明
Tiko.T的部落格
02-22 9548
离散数学是计算机专业很重要的基础课程，是后续数据结构，算法的基础。在学习数据结构的时候，接触到图论算法的时候，遇到了困难。于是决定回来学习离散数学。离散数学（课本）包括了数理逻辑、集合论、计数技术、关系、树、图和布尔代数等。每个章节都是数学与算法的基础，都接触过，但都没有太过深入。唯一一节算是深入了一点的应该就是布尔代数了，这在学习数字电路时是详细学习过的。所以我计划花费大概半个月时间看...
离散数学 --- 谓词逻辑 --- 谓词合式公式详解
qq_51947882的博客
09-05 5577
量词分配律中：全称量词只有在合取联结词出现的时候才能够进行分配，而存在量词只有在析取联结词出现的时候才能够进行分配。1.在E35中虽然都有两个变量X，但这是两个不同的变量，只是取了同一个名字而已，我们当然也可以给它们取不同的名字（E36同理）这里面的S是一个不包含个体变量x的谓词公式，所以不受量词辖域管理，所以量词辖域可收缩。1.谓词逻辑是不可判定的，因为我们无法给出它的真值表，即我们无法列出它的所有解释。1.前束范式的一切量词都得在公式的最前端，且这些聚集起来的量词中不能够出现否定词。
离散数学及其应用第1章笔记总结
qq_18431031的博客
10-30 2043
命题是逻辑的基本构件，是一个陈述语句，或真或假。 从两个或多个已知命题构造新命题的逻辑运算符称为联结词，在逻辑合取中，“但是”一词是等同于“并且”的。 合取是p、q为真命题为真，否则为假；析取是p、q为假命题为假，否则为真。 兼或包含两个命题都取的情况，异或则不包含。 条件语句p->q是命题“如果p，则q”，只有当p为真q为假时命题为假，其余为真。p->q也可以理解为“如果q，那么p"...
离散数学期末复习（谓词逻辑、集合、关系、函数、图、欧拉图与哈密顿图）
m0_52733659的博客
01-08 6415
前言 为了与课本那难以理解的表述区分，部分定义会用自己的话来解释，以课本为准。 谓词逻辑 命题符号化 存在量词 与 合取 搭配 全称量词 与 蕴含 搭配 析取、合取范式 只要看式子中连接每一项的连接词是∧还是∨，连接词是∧则式子为合取范式，为∨是析取范式。 前束范式 量词（全称、存在）都在前面。 1、使用换名规则： 2、分配律 全称量词 对 合取 有分配律 存在量词 对 析取 有分配律 3、蕴含等值式（p->q） 前件p，后件q p的量词做结合律要取反 q的量词做结合律保持不变
存在量词后必须用合取式？-数学
kyle1314608的博客
04-24 2365
语法上没有错误, 都是well-formed formula, 但是语义上与一般用自然语言表达出来的语义不符. 例：“有一个男学生”是用存在量词+合取式写出来的, 即“存在一个对象x, x是男的且x是学生”. 这句话为真当且仅当存在一个男学生如果我们用存在量词+条件式写出来, 则是“存在一个对象x, 如果x是男的则x是学生”. 注意这段话为真, 当且仅当x不是男的或者x是学生. 同样, “人都会死...
第1章 基础：逻辑和证明 部分内容
TROUBLE I AM IN
12-12 327
简介 我为什么要写这个呢？因为我信奉一点，纸质材料肯定会丢失的，所以我在尽量将内容转化成电子文档。至于为社么不选择OneNote，有道云笔记之类的，就是想以博客更新的方式催促自己可以坚持下去，过个1年，2年来看自己当初的付出，那是真的会很爽的，特别是希望自己到时候能感受到自己现在的努力或者犯傻。 再来是下面的内容来自哪里呢？来自《离散数学及其应用》。 接着是下面的公式是怎么写的呢？LaTex。 最后就是下面的内容类似我的读书笔记之类的，让我以后需要的时候可以拿来翻翻，所以类似总结，说明很少。 1.1 命题逻
第1章 基础：逻辑和证明 剩余内容
TROUBLE I AM IN
12-13 398
1.5 嵌套量词 即量词作用域的叠加。如 ∀x∃y (x+y=0) \forall x \exists y\ (x+y=0) ∀x∃y (x+y=0) 即对于所有x，都存在一个y，使得x+y=0。 再来对于我们熟悉的加法交换律，可以采用下面的形式来表示： ∀x∀y (x+y=y+x) \forall x \forall y\ (x+y=y+x) ∀x∀y (x+y=y+x) 注意事项：量词的顺序 式子1 ∀x∀y (x+y=y+x)式子2&nbsp
物联网理论与技术第3章：逻辑函数运算规则及化简2022优秀文档.ppt
最新发布
11-16
【物联网理论与技术】第三章主要探讨的是逻辑函数的运算规则及其化简方法。逻辑函数在物联网技术中扮演着重要角色，因为它们是数字电路设计和数据处理的基础。本章内容包括逻辑函数的定义、表示方式以及逻辑代数的...
数字电子技术基础：第2章_逻辑代数基础.ppt
06-12
《数字电子技术基础》第二章主要讲解的是逻辑代数的基础知识，这是理解数字电路和电子技术的核心理论。逻辑代数是描述和分析开关电路及数字系统的一种数学工具，由英国数学家乔治·布尔在1849年提出，也被称为布尔...
数字逻辑：第二章 逻辑代数基础.ppt
06-14
"数字逻辑：第二章 逻辑代数基础" 数字逻辑是计算机系统的基础组件，逻辑代数是数字逻辑的数学基础。本章节将介绍逻辑代数的基本概念、基本定理和规律、逻辑函数表达式的形式与变换、逻辑函数的化简等内容。 2.1 ...
谓词逻辑——离散数学part 2
yun_gao_的博客
06-12 4609
谓词 命题中把描述个体词的特性或关系部分称为谓词。如果含有n个个体词，则称为为n元谓词。一般地，一元谓词表达了个体词的性质，多元谓词表达了个体词之间的关系。 显然谓词不是命题，只有填入个体词后才能成为命题，所以把已经确定真值的命题看作0元谓词。 命题函数：eg A(x)：x是人。 B(x,y):x+y=1。 谓词的函数表示形式。简单命题函数的定义域为所有个体词的集合，即个体域的论述范围，也称为个体域，值域为命题的集合。 简单命题函数经过联结词运算后构成复合命题函数称为命题函数。 注意：不说明个体域就指全总个
人工智能基本原理-谓词逻辑【by火花同学】
zyyye_的博客
11-13 3478
在逻辑学的体系当中，谓词逻辑相比于命题逻辑，可以描述更加复杂丰富的推理形式。在谓词逻辑中，可以描述命题逻辑无法描述的局部和整体、一般和个别的关系。在阅读本文时，希望读者对命题逻辑有基础的了解。也可以去看看本系列的上一篇有关命题逻辑的文章。
离散数学上 - 量词分配等值式
qq_53913035的博客
04-16 3876
BUPT - 离散数学上 - 量词分配等值式
离散数学
m0_54241235的博客
03-28 6258
离散数学谓词为什么要有谓词？概念个体(客体)：谓词命题函数 谓词 为什么要有谓词？ 命题仅把一个句子表达成一个大写字母，掩盖了句子之间的内部联系。命题是一个陈述句，将其细分，有主语、谓语和宾语。 而谓语在一个句子中最重要，这就是谓词的概念。 概念 个体(客体)： 能够独立存在的具体或抽象的事物。 个体常项：具体的或特定的个体。(a,b,c…) 个体变元：泛指某一个个体。(x,y,z…) 谓词 用以刻画个体属性或者表达个体之间关系的词。 谓词常项：表示具体性质与关系的谓词。 谓词常项：泛指某一性
周报(4.15-4.21)
weixin_44192379的博客
04-20 422
本周学习进度(4.15-4.21) 1.数学部分 离散： 1.学习内容：谓词演算的等价式与蕴含式；前束范式；谓词演算的推理理论（部分）。 2.*补充及需要注意的知识点： 全称量词对合取满足分配律，存在量词对析取满足分配律。 e.g. ∀x(A(x)∧B(x))<=>∀xA(x)∧∀xB(x) ∃x(A(x)∨B(x))<=>∃xA(x)∨∃xB(x) 全称量词枚举用...
离散数学笔记01
weixin_30955341的博客
03-16 955
同或与异或 生活中有些选择属于兼或，有些选择属于异或。 数学或英语考90分以上的学生，有资格评奖学金。（兼或；同或） 鱼与熊掌不可兼得；“转山转水转佛塔，不为来生只为今生与你相见”的仓央嘉措说：“世间那得双全法，不负如来不负卿”；两个offer必须选择一个，否定一个。钱多事少离家近（异或） 条件语句 注1：p->q，条件语句也称为蕴含。 注2：如何理解条件语句？ 当P为真时，q...
【Mark】离散数学仍需记点
博客皆笔记
12-29 1832
点击目录传送ฅʕ•̫͡•ʔฅ第一章 命题逻辑第二章 一阶逻辑第三章 集合的基本概念和运算第四章 二元关系和函数 第一章 命题逻辑 能判断真假，陈述句 ---- 命题 命题常项、变项（真值是否确定） 联结词不包括量词 排斥或（不可同时为1）不能用析取表示 前后件不一定相关 在命题逻辑中，合式公式 = 公式 = 命题公式 n个命题变项，有2n组赋值，有2的2n次方个真值函数 一个真值表对应一个真值...
离散数学 谓词逻辑
skn000的博客
01-21 5423
谓词逻辑 基本概念 个体词： 可独立存在的客体 谓词： 用来说明个体的性质与个体间的关系，可分为一元谓词、二元谓词、n元谓词。 考点： 命题的谓词表达式 区分：个体常元与个体变元 分别对应着谓词常项与谓词变项（命题函数）。 eg: A(a) , H(a,b) 对比 A(x) , H(x,y) 个体域个体变动的取值范围 量词： 1、全称量词：∀{\forall}∀ 表示”所有的“、”每一个“、”...
"离散数学基础：逻辑及证明原理详解
第一章“逻辑和证明”的内容包括命题逻辑、命题等价、谓词和量词等。在命题逻辑中，我们学习了逻辑与、逻辑或、蕴含等基本逻辑运算规则；通过命题等价，我们能够将不同命题进行等价转换，便于逻辑推理；谓词和量词则...
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值