原创力文档- 1、本文档共82页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
数理逻辑讲义
李 涛
哈尔滨工业大学计算机学院
数理逻辑讲义
第 1 章 绪论1
第 2 章 命题演算形式系统2
2.1 命题演算的基本概念2
2.1.1 命题2
2.1.2 命题联结词及真值表2
2.1.3 命题公式及真值4
2.2 范式7
2.2.1 基本概念7
2.2.2 范式的求解7
2.2.3 主范式8
2.3 联结词的扩充与归约15
2.4 对偶式 17
2.5 命题演算形式系统（PC ）18
2.5.1 命题演算形式系统的组成18
2.5.2 PC 的基本定理19
2.5.3 PC 的性质定理39
2.6 自然演绎推理系统（ND ）44
2.6.1 自然演绎推理系统组成44
2.6.2 自然演绎推理系统的基本定理46
习题作业55
第 3 章 一阶谓词逻辑演算58
3.1 一阶谓词演算基本概念58
3.2 自然语句的形式化61
3.3 一阶谓词演算形式系统（FC ）64
3.3.1 一阶谓词演算形式系统组成64
3.3.2 FC 的基本定理65
3.4 一阶谓词形式系统的语义73
3.5 FC 的元定理77
习题作业79
- I -
数理逻辑讲义
第 1 章 绪论
引言
1. 教学目的：用以培养学生逻辑思维能力的理论基础课，它是用数学的符号化、
公理化、形式化方法来研究人类思维规律，使学生对形式化描述问题的方法、
公理化方法及形式推理有清楚的理解，培养学生的逻辑思维能力。
2. 数理逻辑的研究对象（中心）：与传统逻辑在研究对象上没有实质性的区别，
都是以逻辑推理本身作为研究的对象。区别在于研究的工具语言不同，传统
逻辑仍然以自然语言作为主要工具语言，而数理逻辑则是用数学符号语言，
即借助于数学的形式化、符号化、公理化方法。
3. 广义的研究内容：包括逻辑演算、集合论、模型论、递归论（机器可计算的
函数恰好也就是一般递归函数，因此递归论研究很重要）、证明论等 5 个部
分。狭义的研究内容：仅指逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，
这些内容构成数理逻辑其它分支的共同基础。
一阶逻辑是数理逻辑的基础部分，是数理逻辑在日常思维中最具有应用价值
的部分。
4. 元语言：被研究对象的语言称为对象语言，如我们通常所说的英语学习中的
英语就是对象语言，而用以研究英语的语言称为元语言，如汉语。
5. 元定理：有关逻辑演算形式系统自身性质的定理称为元定理，由这些元定理
组成的理论成为元理论。
6. 传统逻辑与符号逻辑（数理逻辑）比较：
1）研究的工具语言不同。传统逻辑仍然以自然语言为主要工具，数理逻辑
则为符号语言，借助于数学的形式化、符号化、公理化的方法。
2）传统逻辑的语言相对较容易理解一些，符号逻辑比较抽象。
- 1 -
数理逻辑讲义
第 2 章 命题演算形式系统
2.1 命题演算的基本概念
2.1.1 命题
1.命题：能惟一确定真假值的陈述句。
文档评论（0）