简介
本教材属“南开哲学教材系列”,是作者所负责课程“数理逻辑实验教程”(后改名为“实验逻辑学”)相关配套教材。全书共16章,具体包括以下内容:第1章 Tarski’s World 7.2简介;第2章 Fitch 3.7简介;第3章 Boole 4.2简介;第4章 原子语句;第5章 原子语句的逻辑;第6章 布尔联结词;第7章 布尔联结词逻辑;第8章 布尔逻辑的证明规则;第9章 布尔逻辑的证明方法;第10章 蕴涵;第11章 蕴涵的逻辑;第12章 量词;第13章 量词的逻辑;第14章 多重量词;第15章 量词的证明方法;第16章 量词的证明规则及附录“一些有意义的证明”。本书可作为大学逻辑学专业高年级本科生、研究生的逻辑推理课程的教材,也可作为高校相关专业教师的参考书。
更多出版物信息
- 版权: 南开大学出版社
- 出版: 2023-04-01
- 更新: 2024-10-12
- 书号:9787310064328
- 中图:B81-06
- 学科:哲学哲学