本章讨论了谓词逻辑的基本概念，主要包括以下内容：
1． 从命题逻辑的局限性引入了谓词和个体词的概念，给出了谓词的定义，并讨论了谓词逻辑与命题逻辑的关系；
2． 介绍了函数和量词，重点讨论了全称量词和存在量词，以及约束变元和自由变元的区分；
3． 介绍了谓词逻辑中合式公式的定义与构成。应指出的是，合式公式的定义方式并不唯一，不同的教材中往往会有一些差别，本教材给出的是限制较强的一种；
4． 详细讨论了自然语句的形式化，并用大量自然语句和其它示例说明了用量词、谓词和联结词构成谓词公式的思路和方法；
5． 介绍了有限域下公式(
x)P(x)、(
x)P(x)的表示法，并揭示了全称量词、存在量词在谓词逻辑中的含义和重要作用；6． 介绍了公式的普遍有效性、可满足性和不可满足性的概念以及相互间的关系，介绍了谓词逻辑的判定问题的基本内容和已有结论。