【逻辑演算】刘壮虎中国社会科学.pdf
此项研究成果受国家社会科学基金资助 逻辑演算 刘壮虎著 现代逻辑丛书
数理逻辑基本上有五个分支学科:逻 辑演算、证明论、公理集合论、递归论和 模型论。其中逻辑演算是最基础的部分,它是数理逻辑中逻辑方面的最主要的内 容,或者说,它是学习和研究其他分支学 科的基础理论。本书主要介绍古典逻辑演 算的公理系统和自然推演系统,最后简要 介绍一些非古典逻辑演算系统。
39 42*46 -49目录 1真值联接词和真值形式 用真值形式表示复合命题 真值表.真值联接词的互相表达 65重言式推理形式的化归 公理系统和形式系统 命题演算 证明和内定理 推演导出规则 定义V、^和.的引人 命题演算的系统性质 真值指派命题演算的语义解释 语义一致性和语义完全性 公理的独立性 逻辑后承广义完全性定理 真值函项命题演算的代数解释 谓词逻辑 第一章命题逻辑 第二章命题演算 演绎定理 谓词和量词 前言1 S2 §35 6 第三章 13 S4 5 第四章 .1 