本文探讨了命题逻辑的基本概念，如非真即假的陈述、联结词、重言式、矛盾式，以及如何通过真值表、等值演算和自然推理证明A->B的等价性。同时，涵盖了集合代数的原理，如笛卡尔积和排斥原理，以及二元关系的定义、等价和偏序关系。图论部分介绍了欧拉图和哈密顿图的区别，以及树的特征。深入浅出地讲解了这些核心理论及其应用。
离散数学
1数理逻辑
命题：非真即假的陈述句
联结词：比如非p，这个非就是否定连结词； 比如且，就是合取连结词：含有非，且（合取），或（析取），如果。。。则，当且仅当（等价）
重言式（永真式）：永远是对的
矛盾式（永假式）：恒为0
可满足式：不是矛盾式
成真赋值：就是为1的赋值
成假赋值：就是为0的赋值
析取式：就是或； 合取式：就是且
等值式：就是两边可以互相推导的，（其中有一个蕴含等值式：A->B等价于 非A或B，因为只有10为假，其余为真）：等值式作用是为了等价替换，更容易看出是真还是假
析取范式：由有限个简单的合取式的析取构成
合取范式：由有限个简单的析取式的合取构成
极小项：就是且的所有情况，而且每个命题变元必须是p或者非p，而且小标对应成真赋值的十进制数；
极大项：就是或的所有情况，而且每个命题变元必须是p或者非p，而且小标对应成假赋值的十进制数；
主析取范式：析取范式里面每个小项里面的合取式都是极小项，那么称为主析取范式。
主合取范式：合取范式内部每个小项的析取式都是极大项，那么称为主合取范式。
联结词的完备集：就是用这个集合里面的联结词表示出来的命题可以和任何已知命题等价。
A=>B:A推出B，就是指A->B是重言式
通过三种方法：1.真值表法
2.等值演算法
3.自然推理系统的推理规则证明：
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CbLrUBQo-1648986529563)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323193122508.png)]
[外链
最低0.47元/天 解锁文章
扫一扫
957
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
