离散数学期末复习（谓词逻辑、集合、关系、函数、图、欧拉图与哈密顿图）

原创

已于 2022-07-01 09:08:38 修改 · 7.5k 阅读

181 ·

CC 4.0 BY-SA版权

文章标签：

#数学

于 2022-01-08 23:12:57 首次发布

本文深入探讨了数学逻辑中的命题符号化、合取范式、前束范式及其转换规则，解析了全称量词与存在量词的使用。此外，详细阐述了图论的基本概念，如集合的对称差、广义并交、容斥原理，以及关系的性质、偏序关系、哈斯图和图的连通性。文中还涵盖了函数的像与完全原像、满射、单射和双射，以及图的欧拉路径和哈密顿回路。

文章目录

前言
谓词逻辑
集合
关系
函数
图
欧拉图与哈密顿图

前言

为了与课本那难以理解的表述区分，部分定义会用自己的话来解释，以课本为准。

谓词逻辑

命题符号化

存在量词与合取搭配

全称量词与蕴含搭配

析取、合取范式

只要看式子中连接每一项的连接词是∧还是∨，连接词是∧则式子为合取范式，为∨是析取范式。

前束范式

量词（全称、存在）都在前面。

1、使用换名规则：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3aMmTEit-1641653623870)(../../Figure/image-20211213123331936.png)]

2、分配律

全称量词对合取有分配律

存在量词对析取有分配律

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TyhOfD7k-1641653623871)(../../Figure/image-20211213123940990.png)]

3、蕴含等值式（p->q）

前件p，后件q

p的量词做结合律要取反

q的量词做结合律保持不变

例题1

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ZEgMZiuu-1641653623872)(../../Figure/image-20211213124526622.png)]

例题2

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4Bo6doy3-1641653623872)(../../Figure/image-20211213125515750.png)]

构造推理证明

9条推理定律

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-sdkDcvWJ-1641653623873)(../../Figure/image-20211213144022969.png)]

对于附加律和化简律：

附加律中：A是前提，也就是A为真，所以（A V B）一定也为真：

化简律中：（A ^ B）是前提，也就是A和B都为真，所以A一定为真

全称量词与存在量词的添加与消去

∀xA(x)：x是指导变元，A是辖域

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-smWrxqIS-1641653623873)(../../Figure/image-20211213133652386.png)]

举例：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-SlD0hr49-1641653623874)(../../Figure/image-20211213140416048.png)]

例题1

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-mAjWfkBU-1641653623874)(../../Figure/image-20211213141650745.png)]

例题2

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-9RSn1gQF-1641653623874)(../../Figure/image-20211213142854089.png)]

集合

对称差

A ⊕ B = ( A U B ) - ( A ∩ B )

广义并、广义交

广义并：集合A元素的元素构成的集合。

特殊的，当元素不是集合时（就没有元素的元素了）：

A = { {a,b,c} , a , {d,e} }

UA = a U { a,b,c,d,e }

广义交：集合A所有元素的公共元素构成的集合。

特殊的，当元素不是集合时（就没有元素的元素了）：

A = { {a,b,c} , a , { c,d,e} }

∩ A = a ∩ { c }

包含排斥原理（容斥原理）

例如全集是：S = A U B U C

|S| = |A| + |B| + |C| - ( |A∩B| + |A∩C| + |B∩C| ) + |A∩B∩C|

例题1

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pMCyQc6G-1641653623881)(../../Figure/image-20211213151149463.png)]

例题2

在这里插入图片描述

### [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-SNkfqork-1641653623884)(../../Figure/image-20211213152603456.png)]

关系

< x,y >

x称为第一元素

y称为第二元素

R为A上的关系：R中的关系的元素都是A中的元素，也就是如果<x,y>∈R，x和y必须∈A

关系运算

复合运算（左复合、右复合）

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-5uLfhMt4-1641653623886)(../../Figure/image-20211223150436982.png)]

运算技巧

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-O22Cs807-1641653623887)(../../Figure/image-20211223150347815.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-YYx4ASRK-1641653623888)(../../Figure/image-20211213155322384.png)]

另一种写法：

R○R就是R²，将R写两遍（2次幂，n次幂就写n+1遍）。
列出R的所有元素（第一元素和第二元素）
将R中的二元关系用线连接
只看有连续连接的线（这里【第二层】的1并没有上一层的元素与它相连，所以不用再看它）

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-J9tfIsFI-1641653623889)(../../Figure/image-20211213160315339.png)]

三种性质

R为A上的关系

自反、对称，传递

最低0.47元/天解锁文章