【数理逻辑引论】王宪钧.pdf
王宪钧著 数理逻辑引论
1981年12月 前言 不书前二篇逻辑演算部分是以多年来的讲稿为基础编写的.1966年5月完成了初稿。在早年教学过程中,沈有鼎教授曾给我 不少帮助。1978年开始修改,北京大学晏成书同志阅读了第一和 第二篇今稿,分担了修改工作。中国科学院胡世华、唐稚松、杨东 屏、张锦又同志和仕会科学院周礼全同志都曾给这部分初稿提出 故理逻辑发展史的研究始于1976年,原意在本书中只概括地 个绍。1979年因病中较,1980年重新写作,结果较原设想的篇幅 增多,慈作力本书第三篇什刊。吴允曾同志对发展史的初稿提了 宏过同志阅读了全书,对于表述提出建议或作了改进,并编 弓了公考义献日录和索引。
基本置换定理 3一前束范式 三四命题演算的一致性和完全性 三五公理的独立性 第四章不同的命题逻辑古典命题逻辑的 不同的公理化 各种符号体系 不同的重言式系统 多值逻辑 模态逻辑 狄谓词逻辑电的形式结构 昌遍有效性和可满足性 谓词变项和量词 狭谓词逻辑的命题形式和公式 晋遍有效性和可满足性 狭谓词演算的出发 