2.2 一阶逻辑公式及新解释.doc

山东政法学院教案模版 授课时间 第四周 第 1 次课 授课章节2.2 一阶逻辑公式及解释任课教师 及职称唐新华 讲师教学方法 与手段板书和电子课件结合课时安排2课时使用教材和 主要参考书1、教材： 耿素云等，离散数学，清华大学出版社，2008 2.参考书 左孝琳、李为槛、刘永才，离散数学（上海科技文献版）2006教学与目的要求： 深刻理解永真式、矛盾式、可满足式的概念及相互之间的关系；记住闭式的性质并能应用它；对于给定的解释会判断公式的真值，或判定真值不确定（即仍不是命题）。 教学重点、难点: 教学重点：合式公式、一阶逻辑公式的类型，闭式的主要特征 教学难点：一阶逻辑公式的类型，闭式的主要特征 教学内容: 2.2 一阶逻辑公式及解释 一、本节主要内容 字母表 合式公式(简称公式) 个体变项的自由出现和约束出现 解释 永真式（逻辑有效式） 矛盾式（永假式） 可满足式 二、教学内容 字母表 定义 字母表包含下述符号： (1) 个体常项：a, b, c, …, ai, bi, ci, …, i ?1 (2) 个体变项：x, y, z, …, xi, yi, zi, …, i ?1 (3) 函数符号：f, g, h, …, fi, gi, hi, …, i ?1 (4) 谓词符号：F, G, H, …, Fi, Gi, Hi, …, i ?1 (5) 量词符号：?, ? (6) 联结词符号：?, ?, ?, ?, ? (7) 括号与逗号：( , ), ， 项 定义 项的定义如下： (1) 个体常项和个体变项是项. (2) 若?(x1, x2, …, xn)是任意的n元函数，t1,t2,…,tn 是任意的n个项，则?(t1, t2, …, tn) 是项. (3) 所有的项都是有限次使用 (1), (2) 得到的. 例：a，b，x，y，f(x,y)=x+y， g(x,y)=x-y都是项 f(a, g(x,y))=a+ (x-y)是项 其实, 个体常项、变项是项，由它们构成的n元函数 和复合函数还是项 原子公式 定义 设R(x1, x2, …, xn)是任意的n元谓词，t1,t2,…, tn 是任意的n个项，则称R(t1, t2, …, tn)是原子公式. 其实，原子公式是由项组成的n元谓词. 例如，F(x,y), F(f(x1,x2),g(x3,x4))等均为原子公式 合式公式 定义 合式公式（简称公式）定义如下： (1) 原子公式是合式公式. (2) 若A是合式公式，则 (?A)也是合式公式 (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是合式公式 (4) 若A是合式公式，则?xA, ?xA也是合式公式 (5) 只有有限次地应用(1)~(4)形成的符号串 才是合式公式(谓词公式). 个体变项的自由出现与约束出现 定义 在公式?xA和?xA中，称x为指导变元，A为相 应量词的辖域. 在?x和?x的辖域中，x的所有出现都 称为约束出现，A中不是约束出现的其他变项均称 为是自由出现的. 例如, 在公式 ?x(F(x,y)?G(x,z)) 中, A=(F(x,y)?G(x,z))为?x的辖域， x为指导变项, A中x的两次出现均为约束出现， y与z均为自由出现. 闭式: 不含自由出现的个体变项的公式. 例1：x(F(x)? $ y H(x,y) ) y H(x,y)中， y 为指导变项， $的辖域为H(x,y)，其中y 为约束出现的， x为自由出现的. 在整个合式公式中， x为指导变项， 的辖域为(F(x)? $ y H(x,y) )，其中x与y 都是约束出现的， x约束出现2次， y约束出现1次. 例2：x y(R(x,y) ú L(y,z) ) ù $ x H(x,y) x y(R(x,y) ú L(y,z) )中， x,y都是指导变项，辖域为(R(x,y) ú L(y,z) )， x与y 都是约束出现的， z为自由出现的. x H(x,y)中， x 为指导变项， $的辖域为H(x,y)，其中x 为约束出现的， y为自由出现的 在此公式中， x 为约束出现的，y为约束出现的，又为自由出现的. z为自由出现的. 换名规则 将量词辖域中出现的某个约束出现的个体变项及对应的指导变项，改成另一个辖域中未出现过的个体变项符号，公式中的其余部分