O000433　数理逻辑基础

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第45页（287字）

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