内容简介
作者简介
目录
目录
前言
第一章 命题逻辑
§1 真值联接词和真值形式
§2 用真值形式表示复合命题
§3 真值表
§4 真值联接词的互相表达
§5 重言式 推理形式的化归
第二章 命题演算
§1 公理系统和形式系统
§2 命题演算
§3 证明和内定理
§4 推演 导出规则
§5 演绎定理
§6 定义 ∨、∧和↔的引入
第三章 命题演算的系统性质
§1 真值指派 命题演算的语义解释
§2 语义一致性和语义完全性
§3 公理的独立性
§4 逻辑后承 广义完全性定理
§5 真值函项 命题演算的代数解释
第四章 谓词逻辑
§1 谓词和量词
§2 形式语言
§3 用形式语言表示命题的形式结构
§4 自由和约束 代入
§5 赋值 可满足和普遍有效
第五章 谓词演算
§1 谓词演算
§2 演绎定理
§3 谓词演算的系统性质
§4 谓词演算的语义完全性
第六章 范式
§1 基本置换定理
§2 合取范式和析取范式
§3 合取范式和析取范式的应用
§4 前束范式
第七章 带等词的谓词演算
§1 等词 数量量词
§2 带等词的谓词演算
§3 摹状词
第八章 自然推演系统
§1 命题演算的自然推演系统
§2 导出规则和基本置换定理
§3 命题演算系统的等价性
§4 斜形证明
§5 斜形证明（续）
§6 谓词演算的自然推演系统
第九章 逻辑演算的不同系统
§1 代入 不用模式的命题演算系统
§2 不同的命题演算公理系统
§3 不同的谓词演算公理系统
§4 不同的自然推演系统
第十章 非古典逻辑演算
§1 非古典逻辑的意义 正逻辑
§2 极小逻辑和直觉主义逻辑
§3 非古典逻辑的性质
§4 直觉主义逻辑的Kripke语义
§5 直觉主义谓词逻辑
版权所有：中国社会科学出版社 备案序号： 京ICP备05032912号-1 地址：北京西城区鼓楼西大街甲158号 邮编：100720
客服中心
收藏
消息
反馈