北航离散数学大一(马帅).pdfVIP

数理逻辑-(2)命题逻辑 马殿富 北航计算机学院 马 帅 dfma@buaa.edu.cn 计算机学院 2012-9 mashuai@buaa.edu.cn 提纲  基本概念：集合、函数、归纳、数理逻辑  1.1命题和联结词  1.2公式和真值赋值  1.3等值演算  1.4对偶定理  1.5联结词的完全集 计算机学院  1.6范式  1.7逻辑推论 计算机学院 2 2 集合  定义 ：一些对象聚集为一个整体，称为集合 ，