文档介绍：摇摇摇
数理逻辑
摇
孙明湘著
中南大学出版社
书
目录
员
第员章摇绪摇论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇员郾员摇员
推理的有效性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇员郾圆摇苑
形式系统⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
员员
第圆章摇命题演算⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆郾员摇员员
命题形式和真值⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆援圆摇圆圆
真值函项和联结词的完全集⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆援猿摇猿圆
推理形式有效性的判定⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆援源摇源员
范式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆援缘摇缘园
命题演算的自然推演系统晕⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆缘员摇缘园
援援晕的形式语言和推演规则⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆缘圆摇缘缘
援援晕内定理的形式推演⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇圆远摇愿员
援命题演算的公理系统孕⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆远员摇愿员
援援孕系统的形式语言、公理和推演规则⋯⋯⋯⋯( )
摇摇圆远圆摇愿猿
援援孕内定理的形式证明和演绎定理⋯⋯⋯⋯⋯( )
摇圆苑摇怨猿
援命题演算的系统特性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆苑员摇怨猿
援援晕与孕的等价性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆苑圆摇怨远
援援命题演算孕的解释⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇圆苑猿摇员园园
援援孕系统的可靠性和完全性⋯⋯⋯⋯⋯⋯⋯⋯( )
员园源
第猿章摇谓词演算⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇猿员摇员园源
援简单命题逻辑结构的符号化⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇猿圆摇员员源
援一阶语言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
Ⅰ
摇猿猿摇员圆员
援一阶语言蕴的语义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇猿源摇员猿圆
援前束范式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇猿缘摇员猿苑
援一阶谓词演算的自然推演系统晕⋯⋯⋯⋯⋯⋯( )
摇摇猿缘员摇蕴员猿苑
援援晕自然推演的出发点⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿缘圆摇蕴员猿怨
援援晕内定理的形式推演⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿缘猿摇蕴员缘圆
援援晕带等词的内定理的形式推演⋯⋯⋯⋯⋯⋯( )
摇猿远摇蕴员缘远
援一阶谓词演算的公理系统运⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿远员摇蕴员缘远
援援运公理系统的形式证明或推演的出发点⋯⋯( )
摇摇猿远圆摇蕴员缘苑
援援运内定理的形式证明和形式推演⋯⋯⋯⋯⋯( )
摇猿苑摇蕴员远员
援一阶谓词逻辑的系统特性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿苑员摇员远员
援援晕与运的等价性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿苑圆摇蕴蕴员远猿
援援运的可靠性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇摇猿苑猿摇蕴员远缘
援援运
蕴的完全性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
员苑园
第源章摇模态逻辑演算⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇源员摇员苑员
援模态词与可能世界⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇源圆摇员苑缘
援模态命题逻辑的栽,杂源,杂缘系统⋯⋯⋯⋯⋯⋯⋯⋯( )
摇源猿摇员愿缘
援模态命题逻辑的栽,杂源,杂缘的语义⋯⋯⋯⋯⋯⋯⋯( )
摇源源摇员怨园
援模态谓词逻辑匝栽(月),匝杂源(月),匝杂缘系统⋯⋯⋯( )
摇源缘摇
援模态谓词逻辑匝栽(月),匝杂源(月),匝杂缘系统的语义
员怨源
⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇源远摇员怨愿
援模态逻辑的可靠性和完全性⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
圆园猿
第缘章摇构造性逻辑演算⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
摇缘员摇圆园猿
援构造性证明和命题的构造性解释⋯⋯⋯⋯⋯⋯⋯( )
摇缘圆摇圆园远
援构造性一阶谓词演算的自然推演系统陨晕⋯⋯⋯( )
摇缘猿摇蕴圆员愿
援构造性一阶谓词演算陨晕的语义⋯⋯⋯⋯⋯⋯⋯( )
蕴圆圆猿
参考书目⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯( )
Ⅱ
摇
前言
数理逻辑是用形式系统的方法来研究推理形式的有效性的学
科。任何一门学科都要进行推理与证明,而任何一个推理都有有
效或无效的区分。如何保证一个推理是有效的,这不是其他具体
科学的任务,而是逻辑学的任务。逻辑学是一门具有基础性、边缘
性特点的学科,它与其他学科一同产生、成长并不断成熟。在现代
科学中,逻辑学吸收了数学高度形式化和精确化的特点,从而演变
为数理逻辑,它使我们所做的每