离散数学 教材 上海科学技术文献出版社

第-篇　数理逻辑　第-章　命题逻辑　　1-1　命题及其表示法　　1-2　联结词　　1-3　命题公式与翻译　　1-4　真值表与等价公式　　1-5　重言式与蕴含式　　1-6　其他联结词　　1-7　对偶与范式　　1-8　推理理论　　1-9　应用　第二章　谓词逻辑　　2-1　谓词的概念与表示　　2-2　命题函数与量词　　2-3　谓词公式与翻译　　2-4　变元的约束　　2-5　谓词演算的等价式与蕴含式　　2-6　前束范式　　2-7　谓词演算的推理理论第二篇　集合论.　第三章　集合与关系　　3-1　集合的概念和表示法　　3-2　集合的运算　　3-3　包含排斥原理　　3-4　序偶与笛卡尔积　　3-5　关系及其表示　　3-