logo
分类于: 人工智能 设计

简介

自然演绎逻辑导论

自然演绎逻辑导论 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....

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录

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