第二章为一阶逻辑,定义了非常多的新概念,先是从主体上分出了个体词,个体域,谓词等概念。第二节主要讲了合式公式,原子公式等,且引入了指导变项,约束出现,自由出现,闭式等东西,其实终其所有,无非是给日常的一些描述规范化了,包括后面的范式也是同样的作用。
第三章主要讲了集合的相关概念,这当中很多内容是高中就接触和学习的,这里只说几个以前没有见过的新的点:幂集,对称差,以及包含排斥原理。
第二章为一阶逻辑,定义了非常多的新概念,先是从主体上分出了个体词,个体域,谓词等概念。第二节主要讲了合式公式,原子公式等,且引入了指导变项,约束出现,自由出现,闭式等东西,其实终其所有,无非是给日常的一些描述规范化了,包括后面的范式也是同样的作用。
第三章主要讲了集合的相关概念,这当中很多内容是高中就接触和学习的,这里只说几个以前没有见过的新的点:幂集,对称差,以及包含排斥原理。