现代逻辑的方法

第一章 初等集合论
第一节 基本概念
1.1 关于集合的定义
1.2 集合的表示法
1.3 罗素悖论
1.4 集合的包含和相等关系
1.5 空集和幂集
第二节 集合的基本运算
2.1 并集及其运算
2.2 交集及其运算
2.3 补集及其运算
2.4 全集
2.5 集合运算之间的关系
第三节 关系
3.1 有序对和n元有序组
3.2 笛卡尔乘积
3.3 关系的概念
3.4 关系的性质
3.5 等价关系和划分
3.6 偏序关系
第四节 映射
4.1 映射的概念和性质
4.2映射的合成
4.3 有限集合与无限集合
4.4 两个集合之间的一一对应
第二章 命题和命题形式
第一节 命题 逻辑联结词
1.1 什么是命题
1.2 复合命题及其真假
1.3 五个基本的真值联结词
第二节 命题形式
2.1 命题形式
2.2 真值表方法
2.3 真值函项
2.4 重言式
2.5 两种判定方法
2.6 简化真值表方法和真值树方法
第三节 范式
3.1 范式
3.2 优范式
3.3 范式的作用和应用
3.4 求否定运算和对偶运算
第三章 命题逻辑
第一节 形式系统
1.1 形式系统
1.2 语法和语义
第二节 命题演算的公理系统
2.1 形式语言L0
2.2 演绎工具
2.3 定理的演绎
第三节 命题逻辑的自然推理系统
第四节 一些常见的可证公式
第五节 命题语义
5.1 真值赋值
5.2 重言式和重言后承
第六节 公理化方法的特征
第四章 一阶逻辑
第一节 一阶语言的语法
1.1 一阶语言所使用的符号
1.2 公式
第二节 一阶逻辑的公理系统
2.1 推理工具
2.2 定理的演绎
第三节 一阶逻辑的自然推理系统
第四节 常用量词的可证公式
第五节 一阶语言的语义
第六节 代入
第七节 前束范式
第八节 一阶树方法
第五章 模态逻辑
第一节 概述
第二节 模态命题演算
2.1 形式语言L2
2.2 模态命题演算T
2.3 模态命题演算S4
2.4 模态命题演算S5
第三节 模态命题演算的语义
3.1 模态命题演算T的语义
3.2 模态命题演算S4的语义
3.3 模态命题演算S5的语义
第四节 克瑞普克语义图
4.1 克瑞普克的T语义图
4.2 克瑞普克的S4语义图
4.3 克瑞普克的S5语义图
第五节 模态谓词演算
5.1 形式语言L3
5.2 模态谓词演算QT
5.3 模态谓词演算QS4
5.4 模态谓词演算QS5
第六节 模态谓词演算的语义
6.1 模态谓词演算QT的解释
6.2 模态谓词演算QS4的解释
6.3 模态谓词演算QS5的解释
第七节 模态逻辑的自然推理系统
7.1 模态命题逻辑的自然推理系统TN
7.2 模态命题逻辑的自然推理系统S4N
7.3 模态命题逻辑的自然推理系统S5N
7.4 模态谓词逻辑的自然推理系统QTN，QS4N和QS5N
第八节 模态逻辑的几种解释
8.1 真理论模态逻辑
8.2 道义论模态逻辑
8.3 认识论逻辑
8.4 时态逻辑
第六章 现代归纳逻辑
第一节 演绎逻辑和归纳逻辑
第二节 概率逻辑
2.1 概率的定义和运算规则
2.2 命题概率逻辑系统Pr
2.3 系统Pr的基本定理
2.4 贝叶斯定理
第三节 认证逻辑
3.1 认证逻辑系统CPr
3.2 系统CPr的定理
3.3 认证推理形式和否证推理形式
第四节 归纳模态逻辑
4.1 归纳模态系统
4.2 归纳模态系统的扩充
4.3 归纳模态逻辑的语义
第七章 现代逻辑在计算机科学和人工智能领域中的应用
第一节 人工智能概述
第二节 一阶逻辑的应用
2.1 司寇伦化标准形
2.2 消解原理
2.3 消解原理的应用
第三节 非标准逻辑的应用
3.1 时态逻辑在软件工程中的应用
3.2 非单调逻辑的应用
3.3 归纳逻辑在人工智能领域中的应用
第四节 逻辑代数及其应用
主要参考文献