自然演绎逻辑导论
豆瓣
ISBN: 9787306026781
作者:
陈晓平
出版社:
中山大学出版社
发行时间: 2006
-3
价格: CNY 28.00
页数: 281
陈晓平
简介
本书主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。
目录
第三版前言
第二版前言 关于自然演绎逻辑系统
第一版前言
第一章 绪论
第二章 命题逻辑：符号化和真值表
第三章 命题逻辑：推演
第四章 三段论逻辑
第五章 谓词逻辑：基本概念和符号化
第六章 谓词逻辑：解释与推演
第七章 模态逻辑
第八章 命题逻辑的元理论
主要参考文献