友情提示:同学您好,此页面仅供预览,在此页面学习不会被统计哦! 请进入学习空间后选择课程学习。

该课时内容在前面命题逻辑的学习基础上,讲解一阶逻辑基本概念,为后面一阶逻辑等值演算和推理打好基础,主要讲授:

(1) 谓词与个体,量词,谓词公式;

(2) 自由变元与约束变元,谓词公式的解释。