注重体验与质量的电子书资源下载网站
分类于: 人工智能 设计
简介
自然演绎逻辑导论 豆 9.2分
资源最后更新于 2020-08-18 15:46:20
作者:陈晓平
出版社:中山大学出版社
出版日期:2006-01
ISBN:9787306026781
文件格式: pdf
标签: 哲学 逻辑 演绎逻辑 逻辑学 逻辑-哲学 陈晓平 教材 逻辑思维
简介· · · · · ·
第二版前言关于自然演绎逻辑系统
第一版前言
第一章 绪论
1.1词项、命题和推论
1.1.1词项
1.1.2定义
1.1.3命题
1.1.4推论
1.1.5演绎推论与归纳推论
习题1.1
1.2推论的有效性和可靠性
1.2.1推论形式、变项和常项
1.2.2推论的有效性
1.2.3反例
1.2.4推论的可靠性
习题1.2
1.3论证
1.3.1证明与反驳
1.3.2论证的基本规则
1.3.3二难推论
1.3.4几种不正当的辩论手法
习题1.3
第二章 命题逻辑:符号化和真值表
2.1一些基本概念
2.1.1真值函项复合命题和真值函项联结词
2.1.2合取词和合取命题
2.1.3析取词和析取命题
2.1.4否定词和否定命题
2.1.5 蕴涵词和蕴涵命题
2.1.6等值词和等值命题
习题2.1
2.2命题的符号化
2.2.1 什么是命题的符号化
2.2....
目录
第三版 前言
第二版 前言 关于自然演绎逻辑系统
第一版 前言
第一章 绪论
第二章 命题逻辑:符号化和真值表
第三章 命题逻辑:推演
第四章 三段论逻辑
第五章 谓词逻辑:基本概念和符号化
第六章 谓词逻辑:解释与推演
第七章 模态逻辑
第八章 命题逻辑的元理论
主要参考文献
第二版 前言 关于自然演绎逻辑系统
第一版 前言
第一章 绪论
第二章 命题逻辑:符号化和真值表
第三章 命题逻辑:推演
第四章 三段论逻辑
第五章 谓词逻辑:基本概念和符号化
第六章 谓词逻辑:解释与推演
第七章 模态逻辑
第八章 命题逻辑的元理论
主要参考文献