| |
|
|
| 前言 第一章 绪言 1.1 什么是逻辑 1.2 逻辑和逻辑的类型 1.3 现代逻辑的基本思想与方法 1.4 逻辑的作用和意义 1.5 预备知识 第二章 命题逻辑 2.1 联结词与复合命题 2.2 真值联结词和真值形式 2.3 真值函数重言式 2.4 重言式的判定 2.5 重言蕴涵式和重言等值式 2.6 范式 2.7 联结词推理的形式证明 2.8 命题演算 习题 第三章 词项逻辑 3.1 词项 3.2 直言命题 3.3 直接推理 3.4 三段论 3.5 词项逻辑中的主项存在问题 习题 第四章 一元谓词逻辑 4.1 词项逻辑的不足 4.2 一元谓词逻辑的形式语言 4.3 可满足性和有效性 4.4 代入和易字 4.5 有效式的判定 4.6 范式 4.7 推理的形式证明 习题 第五章 谓词逻辑 第六章 归纳逻辑 第七章 逻辑方法 附录 应用逻辑简介 索引 参考书目 |
内容加载中，请稍后...
商品评论（0条）