1、General Information书名=1995.05 数理逻辑引论作者=朱梧槚 肖奚安编著页数=306SS号=11533265出版日期=1995年05月第1版前言绪论 1 什么是数理逻辑？ 2 形式系统及其解释第一章 命题与命题联结词 1 命题 2 命题联结词 3 真值函数 4 范式 5 范式与指派 6 命题联结词含量的完全性 习题与补充第二章 命题逻辑演算 1 命题逻辑的自然推理系统PN的构造 2 命题逻辑的自然推理系统PN的展开 3 命题逻辑的重言式系统PT的构造 4 命题逻辑的重言式系统PT的展开 5 PN的简化及其与PT的关系 习题与补充第三章 谓词与量词 1 命题的分解与谓词
2、2 量词与变元 3 函词与摹状词 4 指派与同真假性 5 永真性与可满足性 6 前束范式与Skolem范式 习题与补充第四章 谓词逻辑演算 1 谓词逻辑的自然推理系统FN的构造 2 谓词逻辑的自然推理系统FN的展开 3 谓词逻辑的重言式系统FT的构造 4 谓词逻辑的重言式系统FT的展开 5 FN的简化及其与FT的关系 6 带等词或函词的谓词逻辑 习题与补充第五章 逻辑演算系统的整体特征 1 赋值与模型 2 可靠性与协调性 3 完备性 4 紧致性与可判定性 习题与补充附录 非经典逻辑纲要 一、模态逻辑 1 模态命题逻辑 2 模态谓词逻辑 3 多模态逻辑 4 时态逻辑 5 动态逻辑 二、多值逻辑 1 传统三值逻辑 2 中介逻辑 3 n值逻辑 三、非单调推理 1 缺省逻辑 2 模态非单调逻辑 3 自认知逻辑 4 限定论 5 信念修正 6 开放逻辑参考文献
