第五章谓词逻辑 入和提亮 转调员婴个爱 冒1百 返回首页 2021/2/222021/2/22 1 第五章 谓词逻辑 本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义. 返回首页