离散数学（1）

已于 2024-03-31 13:39:14 修改
阅读量481 收藏 11
点赞数 3
分类专栏： 离散数学 文章标签： 笔记
于 2024-02-21 15:57:20 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xyxzlsld666/article/details/136195754
版权
本文详细阐述了集合运算的基本等式，包括对称差的性质和集合相等的证明。涉及命题、命题公式、等价公式及其应用，讨论了范式理论，如主范式和极小/极大项的性质，以及推理法则，如自然演绎法中的直接证明、规则CP和间接证明方法。
摘要由CSDN通过智能技术生成

离散数学1

集合运算的基本等式

在这里插入图片描述
补交转换律：A-B=A∩~B

关于对称差运算：

交换律：A⊕B=B⊕A
结合律：A⊕(B⊕C)=(A⊕B)⊕C
∩对⊕的分配律：A∩(B⊕C)=(A∩B)⊕(A∩C)
A⊕B=B⊕C => B=C

集合相等的证明

在这里插入图片描述

命题

命题公式

在这里插入图片描述

命题等价公式

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

命题等价公式的应用

判断公式类型：
在这里插入图片描述
证明公式等价:
在这里插入图片描述

范式

在这里插入图片描述

范式定义

在这里插入图片描述

范式存在定理

在这里插入图片描述

范式与真值

在这里插入图片描述

范式求解步骤

在这里插入图片描述

主范式

极小项和极大项

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

极小项和极大项的编码

在这里插入图片描述

极大项和极小项的性质

在这里插入图片描述

主合取范式和主析取范式

在这里插入图片描述

主范式求解步骤

在这里插入图片描述

主范式求解方法

一、公式转换法
在这里插入图片描述
在这里插入图片描述
二、真值表技术
在这里插入图片描述
范式的相互转化
在这里插入图片描述

推理

在这里插入图片描述

在这里插入图片描述

推理定律（基本蕴含公式）

在这里插入图片描述

推理规则

在这里插入图片描述

自然演绎法

三个推理规则加上全部的基本等价公式和基本蕴涵公式，可作为推理与演绎的基础，从而构造一个完整的命题演算推理系统。

法一：直接证明法

在这里插入图片描述

法二：规则CP证明法

在这里插入图片描述

法三：间接证明法（反证法，归谬法）

在这里插入图片描述
在这里插入图片描述

木林_森林
关注
  • 3
    点赞
  • 踩
  • 11
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
离散--第二节--证明方法
这里是博客~
01-06 1513
直接证明法 做法 证明“若A为真, 则B为真” 理由 “若A为真, 则B为真”  “AB为真” 例1 若n是奇数, 则n2也是奇数. 证 存在kN, n=2k+1. 于是, n2 = (2k+1)2 = 2(2k2+2k)+1 得证n2是奇数. 间接证明法 做法 证明“ ¬B ¬A”为真 理由 “AB为真”  “ ¬B ¬
重温离散数学系列①之什么是证明
HuaZi_Myth的博客
11-01 852
什么是证明 Definition(证明的定义) A mathmatical proof of a proposition is a chain of logical deduetions leading to the proposition from a base of axioms. 译：命题的数学证明是从公理得出命题的一系列的逻辑推论。 命题的定义 命题是真假客...
离散数学证明公式整理
ao_mike的博客
06-27 1万+
先把公式 按照自己的方式 背下来 然后多练几题 什么是 前束范式》？？？
离散数学逻辑常用公式
热门推荐
qq_45769050的博客
04-07 1万+
等值关系式 重言蕴含式 真值表
离散数学中基本定律
tangyaya8的博客
08-22 1万+
基本定律 1. 交换律： 　 A ∪ B = B∪A， A ∩ B = B ∩ A 2. 结合律：　 (A ∪ B) ∪ C = A ∪ (B∪C) = A ∪ B∪C (A ∩ B) ∩ C = A ∩ (B ∩ C) = A ∩ B ∩ C 3. 分配律： (A ∩ B) ∪C = (A∪C) ∩ (B∪C) ...
离散数学1.ppt
10-30
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可...
离散数学1试题
05-23
离散数学
离散数学手写笔记.pdf
09-04
1. **集合论**：这是离散数学的基础，包括集合的基本概念、集合的运算（并、交、差、幂集）、笛卡尔积以及子集、全集、空集的概念。此外，可能还会讲解到康托尔的对角线法，用于证明无穷集合间的基数关系。 2. **...
高数叔离散数学.zip
12-04
1. **集合论**：集合是最基本的数学概念，学习离散数学首先要理解集合的定义、性质、运算（如并集、交集、差集）以及笛卡尔积等。集合论也是其他所有离散数学分支的基础。 2. **逻辑**：布尔逻辑是计算机科学中二...
东北大学 离散数学 PDF 整理汇总
03-20
http://sharecourse.upln.cn/pdt/sharecourse/modules/mod_course/app/course.php?cid=266714f2-635b-46a9-a5a7-208d4da6cba0
离散数学——基础推理
weixin_73368178的博客
08-28 4884
概览 推理的定义 推理的定义 推理的规则 推理方法↓ （ 直接证明法规则cp证明法 间接证明法） 推理的定义： 推理的有效性≠正确性 推理的有效性＝命题的前提为真 证明推理的判定定理，即证明公式为永真公式 判定方法有： 真值表技术 公式转化法 主析取范式法 例： 推理定律——基本蕴含关系 推理规则 使用已知条件时很自由 想先用那个用哪个 要找准切入点 演绎的基本形式 P是已知条件 I基本蕴含关系 ...
离散--第一节--逻辑符号 + 集合及其运算 + 证明方法概述
这里是博客~
01-06 2590
包含(子集) A  B  x (xA  xB) 不包含 A ⊈ B  x (xA  xB) 相等 A = B  A  B  B  A 不相等 A  B  A ⊈ B  B ⊈ A 真包含(真子集) A  B  A  B  A  B
【学习笔记】离散数学（Discrete Math） - 证明 Proof 3
Kwzc4的博客
01-29 4886
离散数学（Discrete Math） - 证明proof 目录 离散数学（Discrete Math） - 证明proof Terminology 术语 ...
离散数学知识点总结（5）：蕴含式；命题的推理理论；逻辑推演的方法；推理的有效性证明
qq_42902997的博客
09-02 1万+
文章目录前情回顾蕴含式 ⊨\models⊨ 或 ⇒\Rightarrow⇒蕴含式和等价式的关系（≡\equiv≡ 或 ⇔\Leftrightarrow⇔）证明蕴含式的方法逻辑推演的方法逻辑推演使用的 9 个基本蕴含式推理的有效性证明有效论证无效论证有效论证的 4 种判断方法例题： 前情回顾 p→qp \rightarrow qp→q 这叫做单条件蕴含，它的等价式为 ¬p∨q¬p \vee q¬p∨q (这是较小的层面，是 clause 层面的关系) 蕴含式 ⊨\models⊨ 或 ⇒\Rightarro
离散数学第二部分（四、五、七）
成长、蜕变
07-25 4473
≠∅ ⊊ ∩ ∪ 第四章 集合 （1）、常用数集及代表的特号 符号 数集 N 自然数集 Q 有理数集 C 负数集 R 实数集 Z 整数集 Z+ 正整数集 Q_ 负有理数集 Q+ 正有理数集 （2）、集合符号 子集：⊆ 真子集：⊊ （3）、定理 对任意集合A，必有∅ ⊆ A。 空集是唯一的，全集一般记为E。 若A是具有n个元素的有限集，则A的幂集P（A）有2n个元素。 补集（差集或相对补），A—B ，S= A—B = { x | x∈ A ∧ x∉ B} 对称
离散数学 --- 谓词逻辑 --- 谓词合式公式推理
最新发布
qq_51947882的博客
09-05 6337
1.如果不是通过存在特指规则（ES）来得到一个个体常量，而是通过全称特指规则得到一个个体常量的话，这个个体常量是任意的且对于全称量词而言是满足的，但由于它是任意的，也就是说它不一定满足存在推广（特指）规则能使公式成立的要求。所以我们要从根本上解决这个问题，将常量C也变为变量，且这个变量是和除常量C外的变元有关的变量 --- 获得这个变量的方法就是使用关于这些变量的函数来替换常量C --- f（除C以外的变元）1.在个体域有一个特定的个体常量能使公式成立 ，则能推出在个体域中存在个体常量使得公式成立。
离散数学学习笔记——第二讲——命题逻辑（第二部分）（2.9命题蕴涵公式）
预见未来to50的专栏
09-25 1203
1. 推理的定义 2. 推理的判定定理 3. 推理的判定示例 4. 推理定律（基本蕴含关系：简化规则、添加规则、合取引入规则、选言三段论、假言推理规则、否定后件式、假言三段论、二难推理，共8种） 5.基本蕴含关系示例 ...
离散数学——基本等价式、基本蕴含式
qq_45538370的博客
06-16 1万+
@离散数学——基本等价式、基本蕴含式 基本等价式 对合律 基本蕴含式
最全离散数学 集合运算基本法则（包括差集公式）
集电极
03-31 1万+
最近在自学离散数学，做到集合论部分的证明题时，如 证明：， 我记得好像在书本上没有学过有关差集的运算法则啊。 遇事不决，马上百度。 原来书本（离散数学及其应用第二版，傅彦。。）上少了有关差集的法则。 补交转换律： A - B =A ∩ 全部运算法则( E 是全集,是补集 ) 1. 交换律： 　A ∪ B= B∪A， A ∩ B= B ∩ A 2. 结合律：　...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

木林_森林

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值