阶逻辑基本概念.ppt

一阶逻辑命题符号化时需要注意的事项分析命题中表示性质和关系的谓词，分别符号为一元和n（n?2）元谓词。根据命题的实际意义选用全称量词或存在量词。一般说来，多个量词出现时，它们的顺序不能随意调换。例如，考虑个体域为实数集，H(x，y)表示x+y=10，则命题“对于任意的x，都存在y，使得x+y=10”的符号化形式为?x?yH(x,y)，为真命题。如果改变两个量词的顺序，得?y?xH(x,y)，为假命题。有些命题的符号化形式可不止一种。（例4.5之(3)）??x?y(F(x)∧G(y)?H(x,y))?x?y(F(x)∧G(y)∧┐H(x,y))第29页，共69页，星期日，2025年，2月5日4.2一阶逻辑公式及解释同在命题逻辑中一样，为在一阶逻辑中进行演算和推理，必须给出一阶逻辑中公式的抽象定义，以及它们的分类及解释。一阶语言是用于一阶逻辑的形式语言，而一阶逻辑就是建立在一阶语言基础上的逻辑体系，一阶语言本身不具备任何意义，但可以根据需要被解释成具有某种含义。一阶语言的形式是多种多样的，本书给出的一阶语言是便于将自然语言中的命题符号化的一阶语言，记为F。第30页，共69页，星期日，2025年，2月5日一阶语言中的字母表定义4.1一阶语言F的字母表定义如下:(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)括号与逗号:(,),，第31页，共69页，星期日，2025年，2月5日定义4.2F的项的定义如下:(1)个体常项和个体变项是项。(2)若f(x1,x2,…,xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则f(t1,t2,…,tn)是项。(3)所有的项都是有限次使用(1)，(2)得到的。定义4.3设R(x1,x2,…,xn)是的任意n元谓词，t1,t2,…,tn是的任意的n个项，则称R(t1,t2,…,tn)是的F原子公式。第32页，共69页，星期日，2025年，2月5日定义4.4F的合式公式定义如下:

???????合式公式也称为谓词公式，简称公式。原子公式是合式公式；若A，B是合式公式，则(┐A)、(┐B)、(A∨B)、(A∧B)、(A→B)、(A?B)也是合适公式；若A是合式公式，x是个体变量，则(?x)A、(?x)A也是合式公式；仅仅有1)-2)产生的表达式才是合式公式。第33页，共69页，星期日，2025年，2月5日?在定义4.4中出现的字母A，B是代表任意公式的元语言符号。为方便起见，公式(┐A)，(A∧B)，…中的最外层括号可以省去，使其变成┐A，A∧B，…。(4.1)～(4.21)都是F中的公式。定义4.5在公式?xA和?xA中，称x为指导变元，A为相应量词的辖域。在?x和?x的辖域中，x的所有出现都称为约束出现。A中不是约束出现的其他变项均称为是自由出现的。第34页，共69页，星期日，2025年，2月5日例4.6指出下列各公式中的指导变元，各量词的辖域，自由出现以及约束出现的个体变项。

(1)?x(F(x,y)→G(x,z))

(2)?x(F(x)→G(y))→?y(H(x)∧L(x,y,z))例题解答(1)x是指导变元。量词?的辖域A=(F(x,y)→G(x,z))。在A中，x的两次出现均是约束出现。y和z均为自由出现。(2)前件上量词?的指导变元为x，量词?的辖域A=(F(x)→G(y))，x在A中是约束出现的，y在A中是自由出现的。后件中量词?的指导变元为y，量词?的辖域为B=(H(x)∧L(x,y,z))，y在B中是约束出现的，x、z在B中均为自由出现的。第35页，共69页，星期日，2025年，2月5日本书中的记法用A(x1,x2,…,xn)表示含x1,x2,…,xn自由出现的公式。用Δ表示任意的量词?或?，则Δx1A(x1,x2,…,xn)是含有x2,x3,…,xn自由出现的公式，可记为A1(x2,x3,…,xn)。类似的，Δx2Δx1A(x1,x2,…,xn)可记为A2(x3,x4,…,xn)Δxn-1Δxn-2…Δx1A(x1,x2,…,xn)中只含有xn是自由出现的个体变项，可以记为An-1(xn)。Δxn…Δx1A(x1,