【学习目标】
   通过本章的学习,应达到以下目标:
   ◇ 理解谓词和个体词的概念,从而认识引入谓词的必要性以及谓词逻辑与命题逻辑的主要区别;
   ◇ 理解函数和量词的概念,能够区分约束变元和自由变元,掌握用谓词、量词和联结词构造谓词逻辑公式的方法;
   ◇ 了解谓词逻辑中合式公式的定义与构成,重点解决使用谓词逻辑描述自然语句的表达问题,能够熟练的将一些自然语句进行形式化描述;
   ◇ 了解有限域下全称量词和存在量词的表示法,理解它在谓词逻辑中的重要作用;
   ◇ 了解普遍有效公式、可满足式和不可满足式的概念和划分方法,知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。

【学习指南】
   本章是谓词逻辑的基本知识,学习时应注意以下要点:
   ◇ 在与命题逻辑的比较中学习谓词逻辑,从命题逻辑的固有局限性中体会和理解引入谓词逻辑的必要性以及由此带来的特殊复杂性;
   ◇ 谓词和量词是本章学习的两大核心内容,特别是全称量词和存在量词的概念和基本定义,应注意在有限域下将它们与命题逻辑中的合取词和析取词的作用加以比较,深刻体会其内涵和作用;
   ◇ 用谓词逻辑来完整准确的描述自然语句是本章学习的主要内容,应由浅入深,从特殊到一般,达到用量词、谓词和联结词构造表达复杂的自然语句的目的;
   ◇ 谓词逻辑中公式的普遍有效性、可满足性和不可满足性具有与命题逻辑中重言式、可满足式和永假式类似的定义,但谓词逻辑的判定性却具有与命题逻辑完全不同的结果。学习时要注意体会谓词逻辑判定性的复杂性。

【重点和难点】
   本章的重点和难点如下:
   ◇ 谓词包括个体词的概念与定义,是掌握谓词逻辑的一个重点内容,但在理解上不应存在困难;
   ◇ 量词的概念与定义,是本章中最为重要的内容,必须完整准确的理解和掌握,特别要注意理解诸如(x)P(x) = F和(x)Q(x) = F成立的确切含义,避免出现理解上的偏差和错误;
   ◇ 自然语句的形式化是学习谓词逻辑的重点与难点,要找出常用的自然语句在表述上的特点和规律。熟练综合运用量词、谓词和联结词进行公式的构造;
   ◇ 公式的普遍有效性和判定问题是本章的另一难点,但不作为重点,应能正确区分谓词逻辑公式的普遍有效、可满足和不可满足三类公式,并了解一阶谓词逻辑判定问题的主要结论。

【预习思考题】   
   ◇ 对于命题逻辑方法无法细致刻画和表述的内容,应如何定义和表示?
   ◇ 复杂的自然语句应如何表示,结构相近的自然语句仅用命题逻辑是否能够准确刻画和区分?
   ◇ 谓词逻辑与命题逻辑有哪些主要区别,它应提供哪些命题逻辑中不具备的功能,又可能带来哪些复杂的新问题?
   ◇ 谓词逻辑的公式应如何分类?判断任一公式的普遍有效性是否存在可行的方法,即谓词逻辑是可判定的吗?