交大数理逻辑课件数理逻辑和集合论复习提纲课件.pptVIP

《数理逻辑与集合论》 复习提纲 第1章 命题逻辑的基本概念 1.1 命题 1.2 命题联结词及真值表 1.3 合式公式 1.4 重言式（三类公式的关系：P8） 1.5 命题形式化 1.6 波兰表达式 第2章 命题逻辑的等值和推理演算 2.1 等值定理 2.2 等值公式 2.4 联结词的完备集P?Q = ?(P?Q)， P?Q = ?(P?Q) 2.5 对偶式 2.6 范式 2.7 推理形式（重言蕴涵的几个结果：P31） 2.8 基本的推理公式（(1)-(11):P31） 2.9 推理演算 2.10 归结推理法 第4章 谓词逻辑的基本概念 4.1 谓词和个体词 4.2 函数和谓词 4.3 合式公式（合法性判断） 4.4 自然语句的形式化（与作业结合复习） 4.5 有限域下公式(?x)P(x)、(?x)P(x)的表示法 在{1,2}上的量化公式、解释 第5章 谓词逻辑的等值和推理演算 5.1 否定型等值式（证明） 5.2 量词分配等值式（证明） 5.4 基本的推理公式(证明方法，(1)-(10):P77-78) 5.5 推理演算(UI,EI,UG,EG和命题推理规则) 5.6 谓词逻辑的归结推理法 第9章 集 合 9.1 集合的概念和表示方法 9.2 集合间的关系和特殊集合 9.3 集合的运算 9.4 集合的图形表示法 9.5 集合运算的性质和证明(9.5.3不包括) 9.6 有限集合的基数 包含排斥原理及应用（作业） 第10章 关 系 10.1 二元关系重要关系(?、E、I、L、D、?) 10.2 关系矩阵和关系图 10.3 关系的逆、合成、限制和象 10.4 关系的性质(性质判断和证明) 10.5 关系的闭包 10.6 等价关系和划分( 会求商集、类、划分并会证明) 10.7 相容关系和覆盖( 会求类并会证明) 10.8 偏序关系(会画哈斯图，求特殊元素) 第11章 函 数 11.1 函数 11.2 函数的合成和函数的逆 试题结构 卷面 一. 选择题（10%） 二. 填空题（20%） 三. 判断题（10%） 四. 运算题（20%） 五. 证明题（20%） 六. 应用题（20%） 各章内容比例 第一、二章 命题逻辑 (20%) 第四、五章 谓词逻辑 (20%) 第九章 集合 (20%) 第十章 关系 (25%) 第十一章 函数 (10%) 第十二章 集合的基数 (5%) 《数理逻辑》试题样卷 一. 选择题（10%） 1．设S、T、M为任意集合，则下列命题中，命题真值是真的是????????????? 。 A．? 是?的子集 B.? 若S－T= ? ，则S=T ?? C．若~S∪T=E，则S∩T≠? ??????? D.? 若S∪T=S∪M，则T=M 二. 填空题：（20%） 1、 公式 (p?q) ?r 的成真赋值是______________ 《数理逻辑》试题样卷 四. 运算题：（20%） 1.用等值演算法判断公式q??(p?q)的类型 解 q??(p?q) ? q??(?p?q) （蕴涵等值式） ? q?(p??q) （德摩根律） ? p?(q??q) （交换律，结合律） ? p?0 （矛盾律） ? 0 （零律） 由最后一步可知，该式为矛盾式. 2.计算集合A={? ，{?}}的幂集 解：P(A)=P({?, {?}}) = {?, {?}, {{?}}, {? , {?}}} 《数理逻辑》试题样卷 三.判断题（10%） 设S、T为任意集合， 若S－T= ? ，则S=T 。（　） 五. 证明题（20%） 证明 A=B ? C=D ? A?C=B?D 证： 任取x,y x,y?A?C ? x?A ? y?C ? x?B ? y?D ? x,y?B?D 《数理逻辑》试题样卷 六.应用题：（20%） 证明苏格拉底三段论: “人都是要死的, 苏格拉底是人，所以苏格拉底是要死的.” 令 F(x): x是人, G(x): x是要死的, a: 苏格拉