| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第一章 绪论
§1 逻辑的研究对象
§2 逻辑的作用
§3 逻辑的发展简史
第二章 非开式的命题逻辑
§1 命题的联结词
§2 真值表方法 真值函数
§3 真值函数可定义性 联结词的完全性与独立性
§4 重言式的逻辑分析
§5 推理的有效性 重言后承
§6 范式
练习题
第三章 命题演算
§1 形式系统概述
§2 命题演算系统P的结构
§3 P的内定理的证明
§4 演绎定理及其应用
§5 P的定义式定理
§6 P的元理论
§7 命题演算自然推理的系统PN
练习题
第四章 传统谓词逻辑
§1 概念
§2 性质命题
§3 性质命题直接推理
§4 三段论
练习题
第五章 非形式的一阶谓逻辑
§1 从传统谓词逻辑到现代谓词逻辑
§2 命题的一阶谓逻辑分析
§3 一阶谓词语言L1的语法和语义
§4 代入和字母变易
§5 前束范式
练习题
第六章 一阶谓词演算
§1 一阶谓词演算系统F的构成
§2 F的导出规则
§3 演绎定理及其用
§4 F的元理论
§5 带等词的一阶谓词演算系统F
练习题
第七章 模态逻辑
§1 模态逻辑概述
§2 非形式的模态命题逻辑
§3 模态命题演算公理系统
§4 可能世界语义学
§5 模态命题逻辑元理论
……
第八章 归纳逻辑
第九章 语用逻辑
主要参考书目
后记