命题逻辑基础教程

图书标准信息

• 作者 梁真著
• 出版社 贵州大学出版社
• 出版时间 2012
• ISBN 9787569108033
• 装帧 其他

【内容简介】

:
    数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。作者根据数理逻辑的这一特点，从什么是逻辑、什么是数理逻辑出发，在此基础上展开对命题逻辑、谓词逻辑、命题演算、谓词演算、一阶理论等的分析，其以严谨简明的语言，为广大读者了解数理逻辑提供指引，内容严谨、丰富，逻辑自洽。文本质量高，无意识形态问题。