《计算机数学基础(2)—离散数学》 谓词逻辑
离散数学(谓词逻辑)课后总结
第二章谓词逻辑2—1基本概念例题１. 所有的自然数都是整数。
设N(x)：x是自然数。
I(x)：x是整数。
此命题可以写成∀x(N(x)→I(x))例题２. 有些自然数是偶数。
设E(x)：x是偶数。
此命题可以写成∃x(N(x)∧E(x))例题3. 每个人都有一个生母。
设P(x):x是个人。
M(x,y):y是x的生母。
此命题可以写成：∀x(P(x)→∃y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化例题1. 如果x是奇数，则2x是偶数。
其中客体x与客体2x之间就有函数关系，可以设客体函数g(x)=2x，谓词O(x)：x是奇数，E(x)：x是偶数，则此命题可以表示为：∀x(O(x)→E(g(x)))例题2 小王的父亲是个医生。
设函数f(x)=x的父亲，谓词D(x):x是个医生，a:小王，此命题可以表示为D(f(a))。
例题3 如果x和y都是奇数，则x+y是偶数。
设h(x,y)=x+y ，此命题可以表示为:∀x∀y((O(x)∧O(y))→E(h(x,y))命题的符号表达式与论域有关系两个公式：一般地，设论域为{a1,a2,....,an}，则有(1). ∀xA(x)⇔A(a1)∧A(a2)∧......∧A(an)(2). ∃xB(x)⇔B(a1)∨B(a2)∨......∨B(an)1.每个自然数都是整数。
该命题的真值是真的。
表达式∀x(N(x)→I(x))在全总个体域的真值是真的,因∀x(N(x)→I(x))⇔(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an))式中的x不论用自然数客体代入，还是用非自然数客体代入均为真。
例如(N(0.1)→I(0.1))也为真。
而∀x(N(x)∧I(x))在全总个体域却不是永真式。
∀x(N(x)∧I(x))⇔(N(a1)∧I(a1))∧(N(a2)∧I(a2)) ∧…∧(N(an)∧I(an))比如x用0.2代入(N(0.2)∧I(0.2))就为假。
离散数学谓词
离散数学谓词离散数学是一门研究离散对象和离散结构的数学分支，是计算机科学中的基础课程之一。
谓词是离散数学中的一个重要概念，本文将介绍谓词的概念、性质、表示方法、逻辑联结词和量化符号。
一、谓词的概念谓词是用来描述某些对象的性质的一种符号。
常用的谓词有“是”、“属于”、“含有”等等。
例如，对于集合A={1,2,3}，可以定义一个谓词P(x)，表示x是A中的元素。
则P(1)、P(2)、P(3)为真，而P(4)为假。
谓词可以有多个自变量，例如，对于两个正整数x和y，可以定义一个谓词R(x,y)，表示x是y的因子。
则R(1,5)、R(2,10)、R(5,25)为真，而R(3,5)、R(4,10)、R(6,25)为假。
二、谓词的性质1. 谓词的真值只能是真或假，不能是其他值。
2. 谓词的真值取决于自变量的取值。
3. 谓词可以用逆否命题、否命题、等价命题、充分条件等概念进行推理。
三、谓词的表示方法1. 用符号表示，谓词一般用大写字母表示，例如，P(x)、Q(x,y)。
2. 用语言表示，例如，对于集合A={1,2,3}，可以用语言表示为“x是A中的元素”。
3. 用图形表示，例如，对于一个人集合P，可以用图形表示为：四、逻辑联结词逻辑联结词是用来连接两个或多个命题的词语，例如，“与”、“或”、“非”等。
在离散数学中，逻辑联结词常用于对谓词进行逻辑推理。
1. 与（$\land$）：表示“且”，两个命题都为真时，结果为真，否则结果为假。
五、量化符号量化符号是用来表达命题中“每个”或“存在”的词语，是谓词逻辑中的一个重要概念。
常用的量化符号有全称量词和存在量词。
1. 全称量词（ $\forall$）：表示“对于任意”，例如，$\forall x\in A, P(x)$表示对于集合A中的任意元素x，都有P(x)为真。
六、总结离散数学中的谓词是一个非常重要的概念，它可以用来描述对象的性质，同时也是谓词逻辑的基础。
要想深入理解离散数学，就必须对谓词有深入的认识和理解。
离散数学 谓词逻辑
例1 给定解释I1如下：
(1)个体域为自然数集合N； (2)N中的特定元素a=0； （3）F(x,y):x大于或等于y. 在解释I1下,求下列各式的真值： (1)(∀x)F(x,a)；(2)(∀x∃y)F(x,y) 解 在解释I1下,公式分别解释为： (1)任何自然数都大于或等于零, 为真命题.
(2)对任一自然数x,都存在一自然数y使得x≥y, 为真命题.
4
例子
［例2-1.1］ 张明是位大学生。 解：设S(x)：x是大学生,c：张明, 一元谓词：表 则原句的谓词形式为S(c)。 示客体性质 ［例2-1.2］我坐在张三和李四中间。 解：设S(x,y,z)：x坐在y和z之间,i：我,z：张 三,l：李四, 多元谓词：表 示客体间关系 则原句的谓词形式为S(i,z,l)。
★从以上两命题的符号化可以看出,同一命题在不同个体域下 符号化的形式可能不同。
11
这里,M(x)称为特性谓词。应该注意 的是,全称量词和存在量词符号化时,引入 特性谓词时的形式是不同的。 用全称量词 符号化时,特性谓词作为条 件式的前件； 用存在量词符号化时则作为合取式的一 项。
12
对于任一给定的实数x,都存在着一个实数y,使得 x+y=0。 如果取个体域为实数集合 ∀ x ∃ y H(x, y ) 然而 ∃ y ∀ x H(x, y )： 存在着一个少数y,对于任一实数x,使得x+y=0
3
谓词的表示
客体词有两种：客体常元和客体变元。客体常 元表示具体的或特定的客体,一般用小写字母 a、b、c等表示；表示抽象的或泛指的客体的 词称为客体变元,常用小写字母x、y、z等表 示。 谓词,通常用大写的字母A、B、C等表示。
谓词填式：单独一个谓词不是完整的命题, 把谓词字母后填以客体所得的式子。
离散数学谓词逻辑python
离散数学谓词逻辑python离散数学是计算机科学中的一门重要学科，它研究离散对象及其相互关系的数学理论和方法。
谓词逻辑是离散数学中的一个重要概念，它用于描述和推理关于对象之间的关系和性质。
在本文中，我们将介绍谓词逻辑在Python编程语言中的应用。
谓词逻辑是一种用于描述和推理关于对象之间关系的形式系统。
它由一组谓词、变量和逻辑连接词组成。
在谓词逻辑中，谓词用于描述对象的性质或关系，变量用于表示未知对象，逻辑连接词用于构建复杂的命题。
在Python中，我们可以使用谓词逻辑来表示和处理关于对象之间的关系和性质。
Python的谓词逻辑库提供了一些函数和方法，可以实现谓词逻辑的基本操作，如命题的合取、析取、否定、存在量化和全称量化等。
在Python中，我们可以使用符号或者关键字来表示谓词逻辑中的各种操作。
例如，我们可以使用符号"∧"表示合取操作，使用符号"∨"表示析取操作，使用关键字"not"表示否定操作，使用关键字"exists"表示存在量化，使用关键字"forall"表示全称量化等。
下面是一个简单的例子，演示了如何使用Python的谓词逻辑库来表示和处理关于人和年龄的关系：```pythonfrom sympy import symbols, Predicate, And, Or, Not, Exists, ForAll# 定义谓词和变量Person = symbols('Person')Age = symbols('Age')Young = Predicate('Young', Age)Old = Predicate('Old', Age)# 定义谓词逻辑公式formula = And(Exists(Person, Young), ForAll(Person, Old))# 打印谓词逻辑公式print(formula)```上述代码中，我们首先引入了Python的谓词逻辑库，并定义了谓词"Young"和"Old"以及变量"Person"和"Age"。
离散数学 谓词逻辑
Concept 第二章 谓词逻辑
Pr元既 以约束变元形式出现，又以自由变元形式 出现，就容易产生混淆。为了避免此现象 发生，可以对客体变元更改名称。 如 x(F(x,y)→yP(y))∧Q(z) 约束变元的改名规则： (1).对约束变元可以更改名称，改名的范围 是：量词后的指导变元以及该量词的辖域 内此客体变元出现的各处同时换名。 (2).改名后用的客体变元名称，不能与该量 词的辖域内的其它变元名称相同。
2019/1/20 20
Variable
Predicates
例如：x(P(x)→Q(x,y))∨(R(x)∧A(x))中的 x 就是以 两种形式出现。可以对x改名成 z(P(z)→Q(z,y))∨(R(x)∧A(x)) 对自由变元也可以换名字，此换名叫代入。 以上的换名原则同时适用于对自由变元的 代入。 上例也可以对自由变元x作代入，改成 x(P(x)→Q(x,y))∨(R(z)∧A(z))
2019/1/20 13
Predicate Formula
Predicates
谓词公式 • 定义：谓词演算的合式公式递归定义如下： 1.原子谓词公式是合式公式。 2.如果A是合式公式，则A也是合式公式。 3.如果A、B是合式公式，则(A∧B)、(A∨B)、 (A→B)、(AB)都是合式公式。 4.如果A是合式公式，x是Ａ中的任何客体变元，则 xＡ和xＡ也是合式公式。 5.只有有限次应用规则(1)至(4)得到的才是合式公式。 如：P、(P→Q)、(Q(x)∧P)、x(A(x)→B(x))、xC(x) 是谓词公式，而xyP(x) 、P(x)∧Q(x)x不是
离散数学谓词逻辑
离散数学谓词逻辑以《离散数学谓词逻辑》为标题，写一篇3000字的中文文章离散数学谓词逻辑（Discrete Mathematics Predicate Logic）是一种非常灵活的数学抽象思维方式，它是用来描述关系的基本逻辑形式。
例如，假设我们有三个人，分别叫做张三、李四和王五，我们可以用离散数学谓词逻辑来描述他们之间的关系。
假设张三、李四和王五是同学，则可以用这样一个谓词逻辑来表示：S(x,y)：表示x和y是同学，x代表一个人，y代表另一个人。
根据谓词逻辑S(x,y)，可以得出如下结论：1、张三和李四是同学，即S(张三,李四)；2、李四和王五是同学，即S(李四,王五)；3、王五和张三不是同学，即~S(王五,张三)，其中“~”表示“取反”，即不成立。
离散数学谓词逻辑的基本概念是由著名数学家许渊冲和英国数学家华罗庚于二十世纪六十年代提出的，它可以用来描述各种复杂系统中的关系和行为规律。
这种数学谓词逻辑是数学逻辑学的一个分支，它将用谓词表达式描述各种复杂的逻辑关系，给出关系的结论。
离散数学谓词逻辑的有点在于，它可以用很详细的方式来描述事实，而且它也可以很容易地描述复杂的系统中的关系和行为规律。
另外，它也是一种很有效的推理工具，可以用来检验某种行为是否符合逻辑规则，从而推断结论。
例如，假设我们有一个机器人A，它可以根据程序执行以下动作：当检测到红色条件时，机器人A会移动到目标地点。
为了模拟这种情况，我们可以定义一组谓词来表示：R(x,y)：表示x处有红色条件，y代表一个位置；M(x,y)：表示x可以移动到y，x代表一个对象，y代表一个位置。
根据上面的谓词表达式，如果给定以下情况：当机器人A检测到位置a处有红色条件时，它应该移动到第b位置，那么我们可以用谓词逻辑来表示：R(a,b)∧M(a,b)，其中“∧”表示“与”，即同时符合R(a,b)与M(a,b)的条件才行。
离散数学谓词逻辑不仅可以用于描述系统中的关系和行为规律，而且还可以用于复杂系统的建模与推理，它在计算机科学中尤为重要。
离散数学第二章谓词逻辑
*
第二章 谓 词 逻 辑 命题函数与量词
当个体域为有限集合时，如D={a1, a2 …, an}，对任意谓词A(x)，有 xA(x)A(a1)∧A(a2)∧…∧A(an ) xA(x)A(a1)∨A(a2)∨…∨A(an )
特性谓词常作合取项，如x(M(x)∧ G(x))。
第二章 谓 词 逻 辑
命题函数与量词
*
第二章 谓 词 逻 辑 2.2 命题函数与量词
例如：在实数域上用H(x,y)表示x+y=5，则命题“对于任意的x，都存在y使得x+y=5”可符号化为：xyH(x,y)，其真值为1。若调换量词顺序后为： yxH(x,y) , 其真值为0。
*
第二章 谓 词 逻 辑 2.2 命题函数与量词
*
令S(x): x吸烟。则符号化为：
（x）(M(x)∧S(x))
令D(x): x登上过木星。则符号化为：
令Q(x):x是清华大学的学生。H(x):x是高
第二章 谓 词 逻 辑 2.2 命题函数与量词
*
小结:本节介绍了n元谓词、命题函数、全称量词和存在量词等概念。重点掌握全称量词和存在量词及量化命题的符号化。
添加标题
x(M(x) F(x)).
添加标题
第二章 谓 词 逻 辑
添加标题
命题函数与量词
*
当个体域为全体学生的集合时：
01
令P(x): x要参加考试。则（2）符号化为
02
xP(x).
03
当个体域为全总个体域时：
04
令S(x): x是学生。则（2）符号化为
05
x(S(x) P(x)).
离散数学第2章 谓词逻辑
33
§3 谓词公式与翻译
例5：凡是实数不是大于0，就是等于0或者小于0。 设R(x)：x是实数。 P(x,0)：x大于0。 Q(x,0)：x等于0。 S(x,0)：x小于0。 (x) (R(x) → ( P(x,0) Q(x,0) S(x,0) ) )
例：所有的人都是会死的。
设M(x)：x是人。S(x)：x是会死的。
个体域约定为{人类}：(x) (S(x))
全总个体域：
(x) ( M(x) → S(x) )
例：有一些人是不怕死的。
设M(x)：x是人。F(x)：x是不怕死的。
个体域约定为{人类}：(x) (F(x))
全总个体域：
(x) ( M(x) ∧ F(x) )
定义：在反映判断的句子中，用以刻划客体的性质或 关系的即是谓词。
5
§1 谓词的概念与表示法
客体，是指可以独立存在的事物，它可以是具体 的，也可以是抽象的，如张明，计算机，精神等。
表示特定的个体，称为客体常元，以a，b，c… 或带下标的ai，bi，ci…表示；
表示不确定的个体，称为客体变元，以x，y， z…或xi，yi，zi…表示。
4. 谓词中通常只写客体变元，因此不是命题，仅当 所有客体变元做出具体指定时，谓词才成为命题， 才有真值。
12
第二章 谓词逻辑
§1 谓词的概念与表示法 §2 命题函数与量词 §3 谓词公式与翻译 §4 变元的约束 §5 谓词演算的等价式与蕴含式 §6 前束范式 §7 谓词演算的推理理论
13
§2 命题函数与量词
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第2章谓词逻辑一、教学要求1. 理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。
会将不太复杂的命题符号化。
2. 掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方法，判别公式类型(永真式、永假式和可满足式)的方法。
3. 掌握谓词演算的等值式和重言蕴含式(六种情况：(1)命题公式的推广；(2)量词否定式的等值式；(3)量词辖域扩张和收缩的等值式；(4)量词与联结词∨，∧，→的等值式；(5)量词与联结词的重言蕴含式；(6)两个量词公式间的等值式与重言蕴含式)。
会进行谓词公式的等值演算。
4. 了解前束范式的概念，会求公式的前束范式。
5. 了解谓词逻辑推理的规则：全量词消去规则(US规则)；全量词附加规则(UG规则)；存在量词消去规则(ES规则)；存在量词附加规则(EG规则)本章重点：谓词与量词，公式与解释，前束范式，谓词逻辑推理证明。
二、学习辅导在命题逻辑中，我们把原子命题作为基本研究单位，对原子命题不再进行分解，只有复合命题才可以分解，揭示了一些有效的推理过程. 但是进一步研究发现，仅有命题逻辑是无法把一些常见的推理形式包括进去. 例如“凡人要死，张三是人，张三要死”显然是正确推理. 用命题逻辑解释三段式. 设P：人要死；Q张三是人；R：张三要死。
表示成复合命题有P∧Q→R这不是重言式，即R不是前提P，Q的有效结论. 这反映了命题逻辑的局限性，其原因是把本来有内在联系的命题P，Q，R，视为独立的命题。
要反映这种内在联系，就要对命题逻辑进行分析，分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑的研究内容。
1. 谓词与量词学习这一部分要反复理解谓词和量词引入的意义，概念的含义。
在谓词逻辑中，原子命题分解成个体词和谓词。
个体词是可以独立存在的客体，它可以是具体事物或抽象的概念，如小张，房子，南京，大米，思想，实数2等等。
谓词是用来刻划个体词的性质或事物之间的关系的词。
例如(1)(1)ln5是无理数；(2)(2)高可比李木相高4cm；(3) 郑州位于北京和广州之间。
这时三个简单命题，其中ln5，高可，李木相，郑州，北京，广州等都是个体词，而“是无理数”，“……比……高4cm”，“……位于……和……之间”等都是谓词。
个体词分个体常项(用a,b,c,d,…表示)和个体变项(用x,y,z,…表示)；谓词分谓词常项(表示具体性质和关系的词)和谓词变项(表示抽象的或泛指的谓词)，用F,G,P,…表示。
个体常项a和个体变项都具有性质F，记作F(a)或F(x);个体常项a,与b或个体变项x 与y具有关系L,记作L(a,b)或L(x,y)。
一般地，用F(a)表示a是无理数，其中a表示ln5，F 表示的是“…是无理数”。
当F的含义不变时，则F(x)表示x是无理数，x是个体变项，F 谓词常项，F(x)不是命题，而是命题变项，F(a)是命题。
用M(x,y,z)表示“z=x×y”，M(x,y,z)不是命题。
a表示3，b表示5，c表示15，M(a,b,c)表示“15＝3×5”。
M(a,b,c)是命题，真值为1，若c=12，那么M(a,b,c)是命题，真值为0。
注意，单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题。
例2.1将下列命题符号化：(1) 丘华和李兵都是学生；(2) 2既是偶数又是素数；(3) 如果张华比黎明高，黎明比王宏高，则张华比王宏高。
解(1) 设个体域是人的集合。
P(x)：:x是学生。
a：丘华b：黎兵该命题符号化为P(a)∧P(b)(2) 设个体域为正整数集合N＋。
F(x)：x是偶数，Q(x)：x是素数a：2该命题符号化为F(a)∧Q(a)(3)(3)设个体域是人的集合。
G(x,y)：x比y高。
a：张华b：黎明c：王宏该命题符号化为G(a,b)∧G(b,c)→G(a,c)量词是在命题中表示数量的词，量词有两类：全称量词∀，表示“所有的”或“每一个”；存在量词∃，表示“存在某个”或“至少有一个”。
例2.2将下列命题符号化(1)(1)每个母亲都爱自己的孩子；(2) 所有的人都呼吸；(3) 有某些实数是有理数。
解(1) 设个体域是所有母亲的集合。
M(x)：x表示爱自己的孩子；该命题符号化为∀xM(x)。
(2) 设个体域为人的集合。
H(x)：x表示要呼吸。
该命题符号化为∀xH(x)或设个体域为生物集合，M(x)：x是人。
H(x)：x 表示要呼吸。
该命题符号化为∀x(M(x)→H(x))(3) 设个体域为数的集合。
R(x)：x 表示实数Q(x)：x 表示有理数。
该命题符号化∃x(R(x)∧Q(x))。
在谓词逻辑，使用量词应注意以下几点：(1) (1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变。
(2) (2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全个体域。
(3) (3) 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的涵义。
2. 公式与解释学习这一部分内容要侧重于能将谓词逻辑公式表达式中，量词消除写成与之等值的公式，然后将解释中的数值代入，求出真值，并着重理解在谓词和量词的作用下变元的自由性、约束性和更名规则、代入规则等。
我们将命题常数0，1，一个命题和命题变元以及一个命题函数P (x 1,x 2,…,x n )，统称原子公式，由原子公式、联结词和量词可构成谓词公式(严格定义见教材)。
命题的符号化结果都是谓词公式，例如∀x(F(x)→G(x))，∃x(F(x)∧G(x))，∀x ∀y(F(x)∧F(y)∧L(x,y)→H(x,y))等都是谓词公式，当然∃x(F(x)∧G(x,y)),∀x(F(x)→G(x,y))等也是谓词公式。
在谓词公式∀xA 和∃xA 中，x 是指导变元，A 是相应量词的辖域。
在∀x 和∃x 的辖域A 中，x 的所有出现都是约束出现，即x 是约束变元，不是约束出现的变元，就是自由变元。
也就是说，量词后面的式子是辖域。
量词只对辖域内的同一变元有效。
例2.3 指出下列公式中量词的每次出现的辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元，自由变元。
(1) ),()),(),((y x xH z y L y x R y x ∃∧∨∀∀(2) )()())()((x Q x xP x Q x P x ∧∀→∧∀解 (1) 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中，∀x 只有一次出现，辖域是)),(),((z y L y x R y ∨∀；∀y 只有一次出现，辖域是),(),(z y L y x R ∨；∃x 只有一次出现，辖域是H (x ,y )。
变元x 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中有四次出现，其中第一次出现是在∀x 中的出现，是约束出现；第二次出现是在∀x 的辖域中的出现，也是约束出现；第三次出现是在∃x 中的出现，也是约束出现；第四次出现是在∃x 的辖域中的出现，也是约束出现。
这四次出现都是约束出现，所以x 是该公式的约束变元。
不是它的自由变元。
变元y 在公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中有四次出现。
其中第一次是在∀y 中的出现，是约束出现；第二次出现和第三次出现是在∀y 的辖域中的出现，也是约束出现；第四次出现是自由出现。
Y 在该公式中有三次约束出现，一次自由出现，因此变元y 既是该公式的约束变元，也是自由变元。
变元z 在该公式),()),(),((y x xH z y L y x R y x ∃∧∨∀∀中只有一次自由出现，所以z 是该公式的自由变元，约束也是变元。
(2) 在公式)()())()((x Q x xP x Q x P x ∧∀→∧∀中，∀x 有二次出现，其第一次出现的辖域是)()(x Q x P ∧；其第二次出现的辖域是)(x P 。
变元x 在公式)()())()((x Q x xP x Q x P x ∧∀→∧∀中有六次出现，其中第一次出现和第四次出现是在∀x 中的出现，是约束出现；第二次出现和第三次出现是在∀x 的第一次出现的辖域中的出现，是约束出现，第五次出现是在∀x 的第二次出现的辖域中的出现，也是约束出现；x 的第六次出现是自由出现。
变元x 在该公式中五次约束出现，一次自由出现。
因此变元x 既是该公式的约束变元，也是自由变元。
从例3看到，同一个个体变项，在同一个公式中，既可以是约束出现，也可以是自由出现，这种情况有时会造成一些混淆，带来不变。
要改变这种情况，使一个个体变项在同一个公式中不同时既是约束出现，又是自由出现，采取换名规则或代入规则。
换名规则，就是把公式中量词的指导变元及其该量词的辖域中的该变元换成该公式中没有出现的个体变元，公式的其余部分不变。
代入规则，就是把公式中的某一自由变元，用该公式中没有出现的个体变元符号替代，且要把该公式中所有的该自由变元都换成新引入的该符号。
如例3(1)中，变元y 既是约束出现，又是自由出现，把约束变元y 换名为u.。
于是原公式换为),()),(),((y x xH z u L u x R u x ∃∧∨∀∀也可以将自由变元y 代换为t ，原公式变为),()),(),((t x xH z y L y x R y x ∃∧∨∀∀都是与原公式等值的。
例3(2)中，原公式换为 )()())()((t Q u uP x Q x P x ∧∀→∧∀是与原公式等值的，且个体变元符号不再相同。
谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题。
所谓解释就是使公式中的每一个变项都有个体域中的元素相对应。
解释有四部分组成：(1) 非空个体域D ；(2) D 中有一部分特定元素，用来解释个体常项；(3) D 上一些特定函数，用来解释出现的函数变项；(4) D 上一些特定谓词，用来解释谓词变项。
例2.4 给定解释I ： ① D ＝{2,3};② D 中特定元素a=2；③ 函数为2)3(,3)2(==f f④ 谓词F(x)为F(2)=0,F(3)=1G(x,y)为G(2,2)=G(2,3)=G(3,2)=0,G(3,3)=1L(x,y)为L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0求在解释I 下各公式的真值。
(1) ),()(a x G x xF ∧∀;(2) )))(,())(((x f x G x f F x ∧∃；(3) ),(y x yL x ∃∀；(4) ),(y x xL y ∀∃。
解 设所求四个公式分别记作A ，B ，C ，D 。