本文探讨了命题逻辑的基本概念，如非真即假的陈述、联结词、重言式、矛盾式，以及如何通过真值表、等值演算和自然推理证明A->B的等价性。同时，涵盖了集合代数的原理，如笛卡尔积和排斥原理，以及二元关系的定义、等价和偏序关系。图论部分介绍了欧拉图和哈密顿图的区别，以及树的特征。深入浅出地讲解了这些核心理论及其应用。
离散数学
1数理逻辑
命题：非真即假的陈述句
联结词：比如非p，这个非就是否定连结词； 比如且，就是合取连结词：含有非，且（合取），或（析取），如果。。。则，当且仅当（等价）
重言式（永真式）：永远是对的
矛盾式（永假式）：恒为0
可满足式：不是矛盾式
成真赋值：就是为1的赋值
成假赋值：就是为0的赋值
析取式：就是或； 合取式：就是且
等值式：就是两边可以互相推导的，（其中有一个蕴含等值式：A->B等价于 非A或B，因为只有10为假，其余为真）：等值式作用是为了等价替换，更容易看出是真还是假
析取范式：由有限个简单的合取式的析取构成
合取范式：由有限个简单的析取式的合取构成
极小项：就是且的所有情况，而且每个命题变元必须是p或者非p，而且小标对应成真赋值的十进制数；
极大项：就是或的所有情况，而且每个命题变元必须是p或者非p，而且小标对应成假赋值的十进制数；
主析取范式：析取范式里面每个小项里面的合取式都是极小项，那么称为主析取范式。
主合取范式：合取范式内部每个小项的析取式都是极大项&
最低0.47元/天 解锁文章
859
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
