离散数学期末复习

第一章 命题逻辑

• 联结词
  
  蕴涵的注意事项
  

• 公式的层次
  单个命题公式为0公式

• 等值演算的公式
  

• 范式
  1.简单合取式 简单析取式
  2.极小项：由简单合取式构成【m0…】
  极大项：由简单析取式 构成【M0…】
  

• 奎因-莫可拉斯基方法求最简展开式
  1.找极小项（成真赋值）
  2.合并
  3.写出式子使其包括所有项

• 推理定律
  

• 判断公式类型
  1.真值表法
  2.等值演算法
  3.主析取（合取）范式法

• 通过真值表写逻辑表达式
  找值为1的式子
  

第二章 一阶逻辑

• 特征谓词
  
  PS：如果事先没有给出个体域，都应以全总个体域为个体域
• 一堆定义
  
  
  
• 等值式
  
  PS：1.若公式A中无自由出现的个体变项，则称A是封闭的合式公式，简称闭式。
  2.封闭的公式在任何解释下都变成命题

第三章 集合的基本概念与运算

• 幂集
  
• 集合的基本运算
  
• 集合的主要算律
  
  
  
  
• 包含排斥原理
  
• 证明P=Q
  

第四章 二元关系和函数

• 计算笛卡尔积注意空集
• 空关系
  全域关系 EA
  恒等关系 IA