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