数理逻辑教程

陈慕泽：中国人民大学哲学系、宗教学系教授，博士生导师，逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员，中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。

出版者:上海人民出版社

作者:陈慕泽

页数:337

出版时间:2002-03

价格:19.00

装帧:平装

isbn号码:9787208037489

图书标签:逻辑学逻辑数理逻辑学术逻辑-哲学哲学人大教材逻辑与语言

数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。

用户评价

和AG汉密尔顿的数理逻辑基本相似

最后一章一阶理论看不懂没看完，写得很细很不错。

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

和AG汉密尔顿的数理逻辑基本相似

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”