About this book

数理逻辑引论 by to mathematical logic;朱梧Jia(编著);肖奚安(编著) is a book available to read on EtoBox.

绪论 11 1什么是数理逻辑? 11 2形式系统及其解释 20 第一章 命题与命题联结词 27 1命题 27 2命题联结词 29 3真值函数 36 4范式 44 5范式与指派 57 6命题联结词含量的完全性 73 习题与补充 88 第二章 命题逻辑演算 93 1命题逻辑的自然推理系统PˉN的构造 94 2命题逻辑的自然推理系统PˉN的展开 102 3命题逻辑的重言式系统PˉT的构造 115 4命题逻辑的重言式系统PˉT的展开 119 5P_N的简化及其与PˉT的关系 128 习题与补充 145 第三章 谓词与量词 150 1命题的分解与谓词 150 2量词与变元 155 3函词与摹状词 161 4指派与同真假性 167 5永真性与可满足性 170 6前束范式与Skolem范式 174 习题与补充 187 第四章 谓词逻辑演算 192 1谓词逻辑的自然推理系统FN的构造 197 2谓词逻辑的自然推理系统FN的展开 204 3谓词逻辑的重言式系统FT的构造 214 4谓词逻辑的重言式系统FT的展开 217 5FN的简化及其与FT的关系 235 6带等词或函词的谓词逻辑 242 习题与补充 249 第五章 逻辑演算系统的整体特征 253 1赋值与模型 254 2可靠性与协调性 259 3完备性 265 4紧致性与可判定性 275 习题与补充 277 附录 非经典逻辑纲要 279 一、模态逻辑 279 1模态命题逻辑 279 2模态谓词逻辑 283 3多模态逻辑 286 4时态逻辑 287 5动态逻辑 289 二、多值逻辑 291 1传统三值逻辑 292 2中介逻辑 294 3值逻辑 299 三、非单调推理 301 1缺省逻辑 302 2模态非单调逻辑 304 3自认知逻辑 306 4限定论 307 5信念修正 309 6开放逻辑 312 参考文献 314

Author

to mathematical logic;朱梧Jia(编著);肖奚安(编著)

Publisher

南京:南京大学出版社

Published

1995

Language

ZH

ISBN

9787305027802