2.2 一阶逻辑合式公式和解释.pdf

Discrete Math. 离 散 数 学 第二章 一阶逻辑 First-order Logic ÿ2.1 一阶逻辑基本概念 ÿ2.2 一阶逻辑合式公式及解释 ÿ2.3 一阶逻辑等值式 ÿ2.4 一阶逻辑推理理论 ÿ2.5 题例分析 2.2 一阶逻辑合式公式及解释 1. 谓词公式 Def. 字母表如下： 1).个体常项：a, b, c, a , b , c , ... i i i 2).个体变项：x, y , z, x , y , z , ... i i i 3).函数符号：f, g, h, f , g , h , ... i i i 4).谓词符号：F, G, H , F , G , H , ... i i i 5).量词符号： , $ 6).联结词符： ¬, ∧, ∨, →, ´ 7).括号和逗号：(, ), ，。 2.2 一阶逻辑合式公式及解释 Def. 项的递归定义如下： ①个体常项和变项是项； ②若φ(x ,x ,…,x )是任意的n元函数，t ,t ,…,t 是 1 2 n 1 2 n 项，则φ(t ,t ,…,t )是项； 1 2 n ③只有有限次地使用①、②生成的符号串才是项． Def. 若P(x ,x ,…,x )是n元谓词，t ,t ,…,t 是项，则称 1 2 n 1 2 n P(t ,…,t )为Lp中原子谓词公式，简称原子公式. 1 n 2.2 一阶逻辑合式公式及解释 Def. 合式(谓词)公式的定义如下： ①原子公式是合式公式； ②若A是合式公式，则(ÿ A)是合式公式； ③若A, B是合式公式，则(A∧B),(A∨B), (AÆ B)和 (A´B)都是合式公式； ④若A是合式公式，x是个体变项，则xA和$xA都 是合式公式； ⑤只有有限次应用①～④构成的符号串才是合式公式 (谓词公式，简称公式)． ÿ 命题公式是合式谓词公式的一个特例． ÿ 在不引起混淆时，也可以将谓词公式的最外层括号可 省略．但是，量词后面的括号是不能省略的． 2.2 一阶逻辑合式公式及解释 Def. 在合式公式xA(x)或$xA(x)中，称x为指导变 项，称A(x)为相应量词的辖域．在辖域中，x的所有 出现称为约束出现，A中不是约束出现的其它个体变 元的出现称为自由出现． ÿ 通常，一个量词的辖域是某公式A的一部分，称为A的 子公式．因此，确定一个量词的辖域即是找出位于该 量词之后的相邻接的子公式： ①若量词后有括号，则括号内的子公式就是该量词 的辖域； x(A(x)…)… ②若量词后无括号，则与量词邻接的子公式为该量 词的辖域．xA(x)… 例. 指出下列各合式公式中的量词辖域、个体变项的约 束出现和自由出现． ① x(F(x)Æ$yH(x ,y)) • $y 的辖域为H(x,y) ，y约束出现，x 自由出现． • x的辖域是F(x)Æ$yH(x ,y)，x和y均约束出现，x约 束出现2次，y约束出现1次． ② $xF(x)∧G(x,y) • $x的辖域是F(x)，x为约束出现, • G(x,y) 中的x和y都为自由出现．