离散数学复习

为了方便考试复习，下面的内容摘自离散数学期末复习—学习笔记_Half_up-298415的博客-CSDN博客 1.命题逻辑的基本概念 1.1 命题与连接词 ~考察命题的概念 。判断是不是命题 命题：：命题是陈述句，有唯一的解（就是有解并且唯一） 我正在说假话 这个很有意思，如果为真，则“我正在说假话"为真，即我正在说真话，那这就与“我正在说假话"矛盾，因而这个的由真能推出假，由假能推出真。故矛盾，不能判断真值唯一，把这类命题称为悖论，不属于命题 2.~考察命题的联结词（命题的符..

本篇为《离散数学》学科的个人复习笔记，知识点有所偏重，课本是上海科学技术文献出版社左孝凌版的《离散数学》。

# 【拯救者】Ep_第1章-命题逻辑的基本概念(上) ##### 🌀1．1 命题与联结词 ###### **☀️** **命题**： ​ 非真既假的**陈述句**。 ###### **☀️** **真值**： ​ 命题的陈述句所表达的判断结果 ```ABAP 只取两个值：真或假，1或0，真值为1真命题，真值为0假命题。 ``` ###### **☀️** **简单命题或原子命题**： ​ 不能再被分解成更简单的命题。 ```ABAP 例：我下午在图书馆

文章目录前言一、????理逻辑1. 命题逻辑2. 等值演算3. 主合取范式、主析取范式4. 【题】推理证明5. 辖域、自由变元、约束变元二、????合1. 环和、环积，幂集，笛卡尔乘积三、 ????????关系1. 自反、对称、传递2&3. 合成运算，逆关系、闭包4. 哈斯图、上下界、偏序5. 等价关系、划分四、????1. 幺元（么元、单位元）、零元、逆元，半群、群、阿尔贝群、独异点、循环独异点2. 【题】由表判断3. 【题】证明五、????论1. 简单图、平凡图、多重图、子图、补图、出度、入度、

【离散数学】期末不挂科复习笔记 和蜂考学的，重要的应该是逻辑和函数这两大板块，图和树就与数据结构挂钩了（大部分都是之前学过的），重点看看各种逻辑的等值演算还有推理！ 第一章（命题逻辑的基本概念) 1、命题的概念 如何判断是否是命题： 例题1： 2、命题连接词 ①否定（可以理解为非） ②合取（可以理解成交） ③析取（可以理解为并） ④蕴含（可以理解为非p并q） ⑤等价（可以理解为相等） 优先级： 例题1: 3、命题公式及其赋值 成真赋值就是让p蕴含q的值为1，这种情况下p和q的赋值 成假赋值就是

前言 为了与课本那难以理解的表述区分，部分定义会用自己的话来解释，以课本为准。 谓词逻辑 命题符号化 存在量词 与 合取 搭配 全称量词 与 蕴含 搭配 析取、合取范式 只要看式子中连接每一项的连接词是∧还是∨，连接词是∧则式子为合取范式，为∨是析取范式。 前束范式 量词（全称、存在）都在前面。 1、使用换名规则： 2、分配律 全称量词 对 合取 有分配律 存在量词 对 析取 有分配律 3、蕴含等值式（p->q） 前件p，后件q p的量词做结合律要取反 q的量词做结合律保持不变

1.集合是不能精确定义的基本数学概念.通常是由指定范围内的满足给定条件的所有对象聚集在一起构成的2.制定范围内的每一个对象称为这个集合的元素3.固定符号如下:N:自然数集合Z:整数集合Q:有理数集合R:实数集合C:复数集合4.集合中的元素是唯一确定并可以加以区分的对象,即集合中元素是互异且无序的定理1.2.1(外延性原理) 两个集合A和B相等,当且仅当它们的元素完全相等,记为A=B,否则A≠B定理1.2.3 (1)空集是一切集合的子集;(2)空集是绝对唯一的。

已完结

第一章 命题逻辑基本概念 1.1 命题与联结词 1.1.1 命题与真值 基本概念 命题: 判断结果惟一的陈述句 不确定真假的陈述句也是命题，只要保证结果唯一 陈述句中的悖论也不是命题 1.1.2 命题符号化 原子命题（简单命题）：一个命题不能再分解为更简单的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 1.1.3 复合命题及联结词 否定式与否定联结词 合取式与合取联结词 “∧” 相当于“与”关系 满足交换律和结合律 析取式与析取联结词 “∨” 相当于“或”关系 满足交换

离散数学期末复习1：逻辑和证明

反自反就是任何一个元素都不满足自反不自反的关系不一定是反自反关系，反自反关系一定是不自反的关系对称同理二部图 = 偶图 = 二分图。

文章目录GraphGraph structureAdjacent/NeighborNeighbor SetAbstract AlgebraGroupDefinitionCharacteristic: closure,associativity,identity, inverseTheromCayley TableLaw of ExponentsSubgroupCosetLemmaTheoremCyclic GroupTheorem Graph Graph structure 2. Howev

命题是非真必假的陈述句。 联结词：与原子命题一起构成复合命题。 原子命题公式：命题常元、命题变元同城为原子命题公式，简称原子公式。 合式公式是由下列规则形成的字符串： (1) 真值 T 和 F 是合式公式。 (2) 原子命题公式是一个合式公式。 (3) 若 A 是合式公式，则 ┐A 是合式公式。 (4) 若A和B是合式公式，则A∧B、A∨B、 A→...

离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。 课程主要分四块： • 第一部分 数理逻辑（第1章：命题逻辑、谓词逻辑） • 第二部分 集合论（第2章：集合；第3章：二元关系；第4章：函数） • 第三部分 代数系统 （第5章:无限集合；第6章：代数； 第7章：格和布尔代数） • 第四部分 图 论 （第8章:图论） 一...

第一部分 基本知识点：命题，联结词，命题公式的类型，极小项，极大项，成真赋值 （成假赋值），基本等值式，推理定律(包括命题、谓词逻辑)，符号化（命题、谓词） 1、求命题公式的两种主范式（重点3元） 2、构造命题公式序列证明法（正确推理的证明方法） 另外，还需掌握真值表法、等值演算法、主范式法 第二部分 基本知识点：集合（含关系）的运算，幂集，二元关系及性质， 等价关系，划分，偏序关系，哈斯图，函数及性质 1、将A上的关系通过添加最少的有序对使其具有某一性质(如作闭包) 2、构造给定集合上...

一. 相关概念 1. 简单 析取 合取 式 ( 1 ) 简单合取式 ( 2 ) 简单析取式 2. 极小项 ( 1 ) 极小项 简介 ( 2 ) 极小项 说明 ( 3 ) 两个命题变项 的 极小项 ( 4 ) 三个命题变项 的 极小项 ( 5 ) 极小项 成真赋值 公式 名称 之间 的 转化 与 推演 3. 极大项 ( 1 ) 极大项 简介 ( 2 ) 极大项 说明 ( 3 ) 两个命题变项的极大项 ( 4 ) 三个命题变项的极大项 ( 5 ) 极大项 成假赋值 公式 名称 之间