General Information书名=1990.04 数理逻辑导引作者=张尚水页数=326SS号=10201403出版日期=1990年04月第1版前言目录绪论 1 数理逻辑 2 预备知识第一章 命题逻辑 1 复合命题 联结词 2 真值联结词 真值形式 3 命题形式 真值表方法 4 真值函数 重言式 5 重言后承 推理的形式结构 6 联结词的可定义性、完全性和独立性 7 等值 对偶性 范式第二章 命题演算 1 形式系统 2 命题演算P的语言及其语法 3 P的公理和推理规则 4 演绎定理 5 P中定理的证明(续) 6 赋值 重言式 7 P的可靠性和协调性 8 P的弱完全性 9 P的强完全性 10 公理的独立性 11 命题逻辑的其它公理系统 12 命题逻辑的自然推理系统第三章 一阶谓词逻辑 1 个体词 谓词 函数词 2 变元和量词 3 自由变元和约束变元 4 谓词逻辑的命题形式 5 一阶语言 6 一阶语言的语义 7 代入 8 表列方法 9 范式第四章 一阶谓词逻辑(续) 1 一阶谓词演算 2 定理的推演 导出规则 3 演绎定理 4 定理的推演(续)对偶原则 5 可靠性和协调性 6 完全性 7 带等词的一阶谓词演算 8 模型论初步