skn000的博客

集合论总结关系**元素与集合的关系：**属于与不属于**集合与集合的关系：**相等、包含与不包含运算交运算、并运算、相对补与绝对补、对称差。相对补与绝对补： A−BA-BA−B 与 E−B（∼B)E-B（\sim B)E−B（∼B)对称差： (A−B)∪(B−A)(A-B)\cup(B-A)(A−B)∪(B−A)包含排斥原理跟概率中的部分知识重合，比较简单。两个集合时：∣A∪...

谓词逻辑基本概念个体词： 可独立存在的客体谓词： 用来说明个体的性质与个体间的关系，可分为一元谓词、二元谓词、n元谓词。考点： 命题的谓词表达式区分：个体常元与个体变元 分别对应着谓词常项与谓词变项（命题函数）。eg: A(a) , H(a,b) 对比 A(x) , H(x,y)个体域个体变动的取值范围量词：1、全称量词：∀{\forall}∀ 表示”所有的“、”每一个“、”...

离散数学11.公式类型可用真值表判断1）重言式也是永真式，公式真值恒为1。2）矛盾式永假式，真值恒为0。3）可满足式不是矛盾式的就都是可满足式。重言式一定是可满足式。成真赋值与成假赋值也叫成真指派与成假指派。一组原子的取值（真值指派）使得公式为真：成真指派（赋值）一组原子的取值（真值指派）使得公式为假：成假指派（赋值）等值式...