主要内容：个体词（个体常项、个体变项）、个体域、全总个体域的定义谓词（全称量词和存在量词）、
元谓词Px1x2…x
的定义，命题的符号化量词（全称量词和存在量词）、谓词公式、量词的辖域、谓词公式的真值判断、量词的消去等值变换等值式的定义，5类基本等值式（量词的消去，量词辖域范围的收缩和扩展）置换规则、换名规则的定义前束范式的定义，利用量词的辖域的扩张，完成前束范式的求解定理33前束范式存在定理一阶逻辑中的任何公式都存在与之等值的前束范式
第4章关系
主要内容：有序对、笛卡儿积、二元关系、从A到B的关系、A上的关系的定义A上重要关系A到B上关系的计数，A上关系的计数关系的三种表示：关系的集合表达式、关系矩阵、关系图，后两种的使用限制定义域、值域、域的定义关系的运算：逆、合成的定义和表示方法以及简单计算定理41设F是任意的关系则1F11F2domF1ra
Fra
F1domF定理42F1定理43设R为A上的关系则RIAIARR定义413设R为A上的关系
为自然数则R的
次幂是x∈AIA定理44R定理45R
m
t
设FGH是任意的关系则1FGHFGH2FG1G1
1R0xx
2R
1R
R
s
设A为
元集R是A上的关系则存在自然数s和t使得R
设R是A上的关系m
∈N则1RRR
m


m

2R
m

f
自反性与反自反性对称性与反对称性，传递性的定义以及矩阵表示的特征。可以通过矩阵表示或者关系的图表示分析出关系的性质自反对称或传递闭包的定义，求解的三种形式，一起求解时先自反闭包，再对称闭包，最后传递闭包等价关系、等价类的定义，等价关系的矩阵表示特征定理48设R是非空集合A上的等价关系则1x∈Ax是A的非空子集2xy∈A如果xRy则xy3xy∈A如果x与y没有R关系则x与y不交4所有等价类的并集就是A

商集、集合划分的定义。等价关系与划分的一一对应偏序关系、x与y可比、全序、覆盖的定义偏序集的定义，哈斯图的基本组成和画出图偏序集的特定元素定义：最小元、最大元、极小元、极大元，下界、上界、下确界、上确界
第5章函数
主要内容：函数定义、函数相等、从A到B的函数、fA→B函数的计数的定义满射、单射、双射函数的定义，判断函数复合的基本定理和推论函数复合的性质所涉及的两个定理反函r