O000395 数理逻辑导论

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第12册数理科学和化学、生物科学》第41页(299字)

莫绍揆着。

上海科学技术出版社1965年4月版。28万字。共3篇7章。第一篇命题演算,包括真值连接词、命题演算的公理系统。第二、第三篇谓词演算,包括量词与摹状词、狭义谓词演算永真公式的公理系统、约束谓词演算、应用谓词演算、全总谓词演算。全书有很多地方与流行的书籍不同:在谓词演算中一开始便介绍函数及摹状词,引进高级量词;在命题演算及谓词演算中使用了两套不同的符号;所用的命题演算的公理系统能够把蕴涵怪论与非怪论区分开来;讨论谓词演算的自然推理过程时,引入额外变元e;引进全总谓词演算作为各演算的总结,并从全总谓词演算很自然地引入换位演算及组合逻辑。

分享到: