5.13学习笔记

命题逻辑

一、命题公式

联结词

蕴涵<=

等价==

命题公式

1. 优先级

2. 真值表（可满足式、矛盾式、重言式）

二、等值演算

1. 等值式

2. 基本的等值式

3. 等值演算

三、命题逻辑推理

1. 推理的形式结构

2. 重要的推理定律

3. 正确的推理办法

---

一阶谓词逻辑

个体

a、b、c个体常元；x、y、z个体变元 f(a,b)

谓词

F(x）具有性质x

F(x、y）具有关系F

量词

存在量词

全称量词

命题符号化

解释（语义、判断真假的方法）

---

基本等值式

1. 消去量词

2. 量词否定等值式

3. 量词辖域收缩和扩张

1. 量词分配等值式

前束范式

重要的推理定律

---

集合

集合：

全集：E

幂集：P（A）

集合的元素个数：0元集、单元集、有穷集|A|

集族：集合的集合

指标集、集族、空集族

多重集（>集合：重复度==1）

重复度：出现k次

---

集合的运算

并集--初级并

交集--初级交

不相交

相对补集

对称差

绝对补集

广义并集

广义交集

集合的运算优先级

文氏图

容斥原理

---

集合恒等式

基本的集合恒等式

1. 幂等律---布尔代数

2. 交换律

3. 结合律

4. 分配律

1. 德摩根率：绝对形式、相对形式

1. 吸收率---布尔

看了个直播：科学的，想看完（晚上吧）想法：拉宏：多提问、不胆怯、不小心翼翼、不盯着人看、放松

1. 零率（E是并运算的零元，空集合是交运算的零元）

2. 同一律（空集合是并运算的单位元，E是交运算的单位元）

3. 排中律

4. 矛盾律

5. 余补率

6. 双重否定率

7. 补交转换率---集合差运算

---

交集和补集 或者 并集和补集 就能构成一组完备的运算

---

推广到集族

---

集合的幂集运算

半形式化方法推导集合等式和包含式

1. 从定义推导

2. 已知结论推导