1、General Information书名=2001 数理逻辑教程作者=陈慕泽著页数=337SS号=10907682出版日期=2001年前言目录引言 一、什么是逻辑 1逻辑?推理?推理的有效性及其判定 二、什么是数理逻辑 2逻辑和语言?语言的三个要素?自然语言?符号语言和形式语言?数理逻辑?一阶逻辑第一章 命题逻辑 一、真值形式 1命题及其真值?原子命题和复合命题 2真值联结词?真值形式?常用真值联结词 3命题逻辑层次上的自然语言符号化?复合命题的真值形式?命题推理及其真值形式 4真值联结词的一般性质?真值函数?n元真值函数的总数?真值联结词的可定义性、完全性和独立性 二、真值形式的判定 5真
2、值形式的类型?重言式?矛盾式和可真式?真值形式的判定及其基本方法 6真值表?能行方法?真值形式是能行可判定的 7归谬赋值法 8常用重言式?范式?合取范式和析取范式?范式的存在性?求范式的方法?置换和代入?范式方法在命题推理判定中的运用 9优范式?优析取范式和优合取范式?优范式的惟一性?如何求优范式?优范式的应用 10真值树 三、命题自然推理 11自然推理?命题自然推理的基本规则?归谬第二章 谓词逻辑 一、原子命题的内部结构 12谓词逻辑?谓词和个体词?量词?全称量词和存在量词?个体域?量词的辖域?自由个体变项和约束个体变项?一阶谓词逻辑 13谓词逻辑层次上自然语言的符号化 二、谓词逻辑的命题形
3、式及判定 14命题形式?命题形式的解释?命题形式的类型 15命题形式的判定?普遍有效式不是一般地能行可判定的?有穷个体域中的判定问题?逻辑树方法 三、量化自然推理 16量化推理及其有效性的判定?量化自然推理?量化推理无效性的判定 17逻辑定理 四、谓词逻辑中的范式 18前束范式?前束范工存在定理第三章 命题演算 一、形式化的基本概念 19从形式的到形式化的?公理化和形式化?形式语言和形式系统?对象语言和元语言?逻辑语法和逻辑语义?内定理和元定理?系统内的证明和关于系统的证明?对象理论和元理论 二、集合论的基本知识 20集合论的基本概念?关系和函数?集合的基数与集合间的等势?有穷集合和无穷集合?
4、可数集合? 可枚举集体?能行可枚举集合?不可数集合?可判定集合 三、命题演算P 21形式语言L1?命题演算P?P中的证明和推导 22P中若干定理的证明 四、演绎定理 23P中推导的若干性质?演绎定理 24P中若干定理的证明（续一） 25P中若干定理的证明（续二） 五、P的语义解释 26P解释?P中的可满足，常真和语义后承?P中语义后承的若干性质 六、P的元理论 27P的可靠性?P的可靠性定理?P中语法后承和语义后承的关系 28 一致性?P公式集的一致性?语义一致和语法一致?P系统的一致性?简单一致和绝对一致 29完全性?P的语义完全性和强语义完全性?P语法完全性 30P的可判定性 31P的独立
5、性第四章 谓词演算 一、谓词演算Q 32形式语言L2?一阶语言?量词的辖域?个体变项的约束出现和自由出现?闭公式和开公式?公式的封闭 33谓词演算Q?Q中的证明和定理?Q中的推导和语法后承 34Q中推导的若干性质?Q中的演绎定理和等值置换定理 35Q中若干定理的证明 二、Q的语义解释 36Q解释?Q中的可满足，有效和语义后承 三、Q的元理论 37Q的可靠性 38Q的一致性 39Q的完全性 40谓词演算的不同系统?谓词不达意演算QS第五章 一阶理论 一一阶理论 41一阶理论?任意一阶理论的一些元定理?否定性完全?封闭的一阶理论?LowenheimSkolem定理?紧致性定理 42QS语义完全性的证明 43带等词不达意的一阶谓词逻辑的形式系统QS=? QS=的一致性?正规模型?QS=的充分性 44模型的同构?范畴性?非标准模型 二、不可判定性 45关于不可判定性的一些结果 46丘奇命题和丘奇定理?递归函数?递归集 47在一形式系统中函数的表达、强表达和可定义性 48算术形式系统H?H的不可判定性 49QS=和QS的不可判定性参考文献
