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