随笔分类 - 离散数学
离散数学学习笔记
摘要：集合与序列 集合的基本概念 集合set：大写字母表示S 集合的元素：小写字母表示a， a ∈ S a \in S a∈S 集合的特点： 能够明确的判断一个元素是或不是属于某集合集合的元素没有顺序集合的元素之间不一定存在什么关系规定：对任意集合A都有 A ∉ A A \notin A A∈/A 特殊集
阅读全文
摘要：命题proposition 非真既假的普通陈述句，真值true/false唯一确定，（本命题是假的）和（本命题是真的）不是命题 命题变元或命题变项proposition variables 小写英文字母表示 原子命题：atom proposition/简单命题 simple proposition复
阅读全文
摘要：对偶式 dual，假设A为仅含有 ∼ , ⋁ , ⋀ \sim,\bigvee,\bigwedge ∼,⋁,⋀的命题公式，若将 A A A中的 ⋀ \bigwedge ⋀换成 ⋁ \bigvee ⋁， ⋁ \bigvee ⋁换成 ⋀ \bigwedge ⋀，若包含 F F F和 T T T则相互取代
阅读全文
摘要：谓词和量词 个体词individual 相当于名词，个体常项 a , b , c a,b,c a,b,c，个体变项 x , y , z x,y,z x,y,z，个体变项的取值范围 D D D称为个体域或论域，全总个体域是指宇宙间一切事物组成的个体域 谓词 一元谓词：表示个体词的性质，属性 P ( x
阅读全文
