人工智能谓词逻辑与归结原理

- 第 3 章 谓词逻辑和归结原理 - 逻辑: 推理的理论和根据.逻辑的分类, 经典逻辑和非经典逻辑 命题逻辑和谓词逻