逻辑学导论

图书标准信息

• 作者 黄华新、张则幸 著
• 出版社 浙江大学出版社
• 出版时间 2011-02
• 版次 2
• ISBN 9787308040877
• 定价 42.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 354页
• 字数 389千字
• 正文语种 简体中文

【内容简介】

五个基本的真值联结词、常语言中复合命题的符号化、真值形式、什么是真值形式、真值函项、重言式、真值表方法、列真值表的方法、真值表的判定作用、简化真值表方法等。

【目录】

绪论
0.1逻辑的研究对象
0.2逻辑的基本规律
0.2.1同一律
0.2.2矛盾律
0.2.3排中律
0.3逻辑的功能定位
0.4逻辑的历史演进
练习题

第1章命题逻辑（一）
1.1命题和推理的概述
1.1.1命题、判断与语句
1.1.2命题的分类
1.1.3推理及其有效性
1.2联言命题及其推理
1.2.1联言命题
1.2.2联言推理
1.3选言命题及其推理
1.3.1选言命题
1.3.2选言推理
1.4假言命题及其推理
1.4.1充分条件假言命题及其推理
1.4.2必要条件假言命题及其推理
1.4.3充分必要条件假言命题及其推理
1.5负命题及其推理
1.5.1负命题
1.5.2负命题推理
1.6二难推理
1.6.1什么是二难推理
1.6.2难推理的形式
1.6.3Z.难推理的应用
1.7其他复合命题推理
1.7.1假言联言推理
1.7.2假言连锁推理
1.7.3假言易位推理
1.7.4归谬推理
1.7.5反三段论
练习题

第2章命题逻辑（二）
2.1真值联结词
2.1.1真值联结词概述
2.1.2五个基本的真值联结词
2.1.3常语言中复合命题的符号化
2.2真值形式
2.2.1什么是真值形式
2.2.2真值函项
2.2.3重言式
2.3真值表方法
2.3.1列真值表的方法
2.3.2真值表的判定作用
2.3.3简化真值表方法
2.4命题逻辑的自然推理
2.4.1推理规则
2.4.2置换规则
2.4.3条件证明规则
练习题

第3章谓词逻辑(一)
第4章谓词逻辑(二)
第5章归纳逻辑
第6章语用逻辑(一)
第7章语用逻辑(二)
第8章语用逻辑(三)
第9章语用逻辑(四)
第10章非形式逻辑(一)
第11章非形式逻辑(二)
第12章非形式逻辑(三)