自然演绎逻辑导论

图书标准信息

• 作者 陈晓平 著
• 出版社 中山大学出版社
• 出版时间 2013-08
• 版次 1
• ISBN 9787306026781
• 定价 45.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 297页
• 字数 398千字
• 正文语种 简体中文
• 丛书 普通高等教育“十一五”国家级规划教材

【内容简介】

　　《自然演绎逻辑导论（修订）/普通高等教育“十一五”国家级规划教材》主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。

【目录】

第三版前言
第二版前言关于自然演绎逻辑系统
第一版前言
第一章绪论
第二章命题逻辑：符号化和真值表
第三章命题逻辑：推演
第四章三段论逻辑
第五章谓词逻辑：基本概念和符号化
第六章谓词逻辑：解释与推演
第七章模态逻辑
第八章命题逻辑的元理论
主要参考文献