数理逻辑与集合论复习脉络

​

​

2021-2022-2《数理逻辑与集合论》复习提纲

一、（50%）数理逻辑

1、命题符号化；

2、利用等值演算法证明等值式；

3、求主析取（合取）范式；

4、在命题逻辑中构造相关推理的证明；

5、谓词逻辑等值演算（基本等值式）。

二、（50%）集合论

1、有穷集的计数问题；

2、关系的运算、关系的性质判断、闭包、等价关系的证明；

3、函数的定义；

4、函数的性质（单射、满射、双射）；

5、序关系、偏序集、哈斯图。

其实本门学科并不用完全理解，掌握基本做题模式就好。

1.命题符号化

这个比较简单，直接看看例题，都是类似的​

​

2.利用等值演算法证明等值式

学习这里首先要知道重要的基础，一些常见的基本等值式（其中最重要的是蕴含等值式和等价等值式，很常用，然后分配律要会一下，其他的知道下就行了）​

 然后我们看一些简单的例题