真假值、有限个结点等）。第一部分数理逻辑第一章命题逻辑第二章谓词逻辑第二部分集合论第三章集合与关系第

国防科学技术大学《数理逻辑》pdf电子图书（英文版），附课程考试模拟试卷。

内容章节包括：第一篇：数理逻辑命题逻辑、谓词逻辑第二篇：集合论集合与关系、寒暑第三篇：代数系统代数

纲和作业题三大部分（三）：一、集合论与图论.pdf三、数理逻辑.pdf二、代数结构与组合数学.pdf

简明数学百科全集》，全套共分四部，内容共涵盖分析、代数、几何、拓朴、数理逻辑等各方面知识，内容丰富。

什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等

第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

第一章 命题逻辑

⚫内容：推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述：本章对命题等值和推理演算进行的讨论，是以语义的观点进行的非形式的描述