第二章谓词逻辑 1准确掌握有关概念 2会命题符号化(如P60题(2) 3掌握常用的等价公式和永真蕴涵式包括: 带量词的公式在论域内展开式量词否定,量词辖域扩充, 量词分配公式 4会用等价公式求谓词公式的真值(如P66题(3) 5会写前束范式 6.熟练掌握谓词逻辑推理 第三章集合论初步 集合的表示幂集,全集空集 2集合的三种关系(包含,相等,真包含)的定义及证明 3集合的五种运算及相关性质 4应用包含排斥原理第二章 谓词逻辑 1.准确掌握有关概念. 2.会命题符号化.(如P60题(2)) 3.掌握常用的等价公式和永真蕴涵式.包括: 带量词的公式在论域内展开式,量词否定,量词辖域扩充, 量词分配公式. 4.会用等价公式求谓词公式的真值.(如P66题(3)) *5.会写前束范式 6.熟练掌握谓词逻辑推理. 第三章 集合论初步 1.集合的表示,幂集,全集,空集. 2.集合的三种关系(包含,相等,真包含)的定义及证明. 3.集合的五种运算及相关性质. *4.应用包含排斥原理