熟练掌握逻辑符号非逻辑符号,项,一阶公式。 掌握常见数学对象的一阶语言公式的描述,包括代数结构等 了解公式的括号的省略规则。 熟练掌握辖域,自由(约束)出现,自由(约束)变元,项对变元在公式中自 由(可代入) 了解闭项,闭式,全称闭式。 熟练掌握N的构成,包括M的公式的形成规则、公理集和形式推理规则。N中 形式证明序列和内定理的定义。N中内定理的证明技巧,如一些辅助定理(代 入实例,增加前提律,传递率,)和常见的内定理(如换名规则) 了解N的证明序列的斜形和树形书写方式 熟练掌握前束范式的定义,范式存在性定理,范式的求法(包括所用的几个内 定理) 了解根据范式对一阶公式进行分类。 熟练掌握K的构成,包括K的公式的形成规则、公理集和形式推理规则。KL 中形式证明序列和内定理的定义。K中内定理的证明技巧。K中常见内定理的 证明 掌握K中公式的简写规则 了解KL的证明序列的斜形书写方式。 熟练掌握P中有前提的证明序列的定义。演绎定理的内容和证明和使用。 熟练掌握N和K的构成方式的差别。Nt和K的等价性定理的内容及其证明。 掌握M和K的等价性定理的使用。 熟练掌握论域,解释,指派,项的值、公式的满足、真、永真的定义及其符号 掌握公式(项)的值与约束变元取值的无关性。可代入性定理。命题代入实例 的性质 了解公式为假的等价性定义。 熟练掌握可靠性、和谐性和完备性的内容及其证明。和谐公式集、极大和谐公 式集的概念及其性质。 ●掌握一阶逻辑完备性证明的常量构作法—— Henkin方法。 第二十八章消解原理*(可以不讲) 要点:命题公式与一阶谓词公式的消解 要求 ●熟练掌握文字、子句等概念 熟练掌握命题公式的消解 熟练掌握 Herbrand定理 掌握 Robinson合一算法 掌握一阶谓词公式的消解z 熟练掌握逻辑符号非逻辑符号，项，一阶公式。 z 掌握常见数学对象的一阶语言公式的描述，包括代数结构等 z 了解公式的括号的省略规则。 z 熟练掌握辖域，自由（约束）出现，自由（约束）变元，项对变元在公式中自 由（可代入）。 z 了解闭项，闭式，全称闭式。 z 熟练掌握 NL的构成，包括 NL的公式的形成规则、公理集和形式推理规则。NL中 形式证明序列和内定理的定义。NL 中内定理的证明技巧，如一些辅助定理（代 入实例，增加前提律，传递率，）和常见的内定理（如换名规则）。 z 了解 NL的证明序列的斜形和树形书写方式。 z 熟练掌握前束范式的定义，范式存在性定理，范式的求法（包括所用的几个内 定理） z 了解根据范式对一阶公式进行分类。 z 熟练掌握 KL 的构成，包括 KL 的公式的形成规则、公理集和形式推理规则。KL 中形式证明序列和内定理的定义。KL 中内定理的证明技巧。KL 中常见内定理的 证明。 z 掌握 KL中公式的简写规则。 z 了解 KL的证明序列的斜形书写方式。 z 熟练掌握 P 中有前提的证明序列的定义。演绎定理的内容和证明和使用。 z 熟练掌握 NL和 KL的构成方式的差别。N L和 KL的等价性定理的内容及其证明。 z 掌握 NL和 KL的等价性定理的使用。 z 熟练掌握论域，解释，指派，项的值、公式的满足、真、永真的定义及其符号 表示。 z 掌握公式（项）的值与约束变元取值的无关性。可代入性定理。命题代入实例 的性质。 z 了解公式为假的等价性定义。 z 熟练掌握可靠性、和谐性和完备性的内容及其证明。和谐公式集、极大和谐公 式集的概念及其性质。 z 掌握一阶逻辑完备性证明的常量构作法——Henkin 方法。 第二十八章 消解原理*（可以不讲） 要点：命题公式与一阶谓词公式的消解 要求： z 熟练掌握文字、子句等概念 z 熟练掌握命题公式的消解。 z 熟练掌握 Herbrand 定理 z 掌握 Robinson 合一算法 z 掌握一阶谓词公式的消解