偶看新闻弓箭发明:在线读书:自然演绎逻辑导论(2006)
来源：百度文库 编辑：偶看新闻 时间：2024/05/04 13:37:46
自然演绎逻辑导论
作者：陈晓平著
出版日期：2006
页数：281
关键词：演绎推理 概论 陈晓平
分类： 哲学宗教 >形式逻辑(名学、辩学)
在线阅读自然演绎逻辑导论电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
华南师范大学管理科学新专业、重点学科建设经费资助出版:本书在自然演绎系统的框架内展开阐述命题逻辑、三段论逻辑、谓词逻辑、模态逻辑、命题逻辑的元理论等演绎逻辑的论述。
隐藏目录章节目录
第一章 绪论
1.1 词项、命题和推论
1.2 推论的有效性和可靠性
1.3 论证
第二章 命题逻辑：符号化和真值表
2.1 一些基本概念
2.2 命题的符号化
2.3 命题的真值表及其逻辑性质
2.4 用真值表检验推论的有效性
第三章 命题逻辑：推演
3.1 八条整推规则
3.2 十条置换规则
3.3 条件证明规则
3.4 间接证明规则
3.5 重言式的证明
第四章 三段论逻辑
4.1 直言命题
4.2 三段论
4.3 强化三段论
第五章 谓词逻辑：基本概念和符号化
5.1 基本概念
5.2 命题的符号化
第六章 谓词逻辑：解释与推演
6.1 解释
6.2 推演
第七章 模态逻辑
7.1 一些基本概念
7.2 模态命题的表达
7.3 模态命题逻辑发展概况
7.4 系统T
7.5 系统S4
7.6 系统S5
7.7 各个系统的可能世界模型
第八章 命题逻辑的元理论
8.1 对象语言与元语言、常项变项与变项变项
8.2 SL的语法
8.3 SL的语义
8.4 数学归纳法
8.5 联结词的真值函项完全性
8.6 SC的可靠性
8.7 SC的完全性
主要参考文献
隐藏目录
作者：陈晓平著
出版日期：2006
页数：281
关键词：演绎推理 概论 陈晓平
分类： 哲学宗教 >形式逻辑(名学、辩学)
在线阅读自然演绎逻辑导论电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
华南师范大学管理科学新专业、重点学科建设经费资助出版:本书在自然演绎系统的框架内展开阐述命题逻辑、三段论逻辑、谓词逻辑、模态逻辑、命题逻辑的元理论等演绎逻辑的论述。
隐藏目录章节目录
第一章 绪论
1.1 词项、命题和推论
1.2 推论的有效性和可靠性
1.3 论证
第二章 命题逻辑：符号化和真值表
2.1 一些基本概念
2.2 命题的符号化
2.3 命题的真值表及其逻辑性质
2.4 用真值表检验推论的有效性
第三章 命题逻辑：推演
3.1 八条整推规则
3.2 十条置换规则
3.3 条件证明规则
3.4 间接证明规则
3.5 重言式的证明
第四章 三段论逻辑
4.1 直言命题
4.2 三段论
4.3 强化三段论
第五章 谓词逻辑：基本概念和符号化
5.1 基本概念
5.2 命题的符号化
第六章 谓词逻辑：解释与推演
6.1 解释
6.2 推演
第七章 模态逻辑
7.1 一些基本概念
7.2 模态命题的表达
7.3 模态命题逻辑发展概况
7.4 系统T
7.5 系统S4
7.6 系统S5
7.7 各个系统的可能世界模型
第八章 命题逻辑的元理论
8.1 对象语言与元语言、常项变项与变项变项
8.2 SL的语法
8.3 SL的语义
8.4 数学归纳法
8.5 联结词的真值函项完全性
8.6 SC的可靠性
8.7 SC的完全性
主要参考文献
隐藏目录
什么叫情感逻辑演绎？
什么是自然逻辑？
在线读书？？？
谁有公务员考试演绎逻辑方面的讲解啊???帮忙了
一道演绎推理题，看你的逻辑有多强，你会有兴趣的
需要在线读书网址
关于逻辑悖论！ 急！ 在线等！！
哪个网可以在线读书
寻求在线读书的网站
在线能读书的网站
谁有在线读书网
呼叫中心—演绎”全程掌控”新理念，应该怎么翻译，谢谢，在线等
演绎是什么意思
演绎推理
演绎推理
早期自然本体论向文化哲学转化的社会原因和逻辑关系?
哪里有免费在线读书的网站
国家图书馆网站的在线读书怎么用？
国家图书馆网站的在线读书怎么用？
谁有《时间简史》在线读书网
国家图书馆网站的在线读书怎么用？
有谁知道 在线读书 的网址?
推荐几个好的在线读书网站
免费的在线读书网，谁知道？