O000433 数理逻辑基础
刘叙华编。 吉林大学出版社1991年12月版。11．3万字。分4章。 第一章命题逻辑，阐述命题及逻辑联结词，命题逻辑的形式化、范式，命题演算的公理系统、定理推演，以及公理系统的无矛盾性、完全性和独立性。 第二章谓词逻辑，阐述量词与谓词、谓词逻辑的形式化及公理系统、定理推演、演绎定理、范式、判定问题、公理系统的无矛盾性和完全性。第三章初等代数系统的判定问题，阐述初等代数系统及其判定方法。第四章谓词逻辑的半可判定算法——Herbrand定理，阐述了Skolem范式与子句集、子句集的Herbrand域，以及Herbrand定理。 |