离散数学第二章(第3讲)
离散数学二.ppt
R1 {(b, a) | (a, b) R, a A, b B}
2024/11/24
§5.1 Relations and their properties (7)
Exam:集合A={a, b, c}，B={1, 2, 3, 4, 5}，R是A 上的关系，S是A到B的关系。 R={<a, a>, <a, c>, <b, b>, <c, b>, <c, c>}， S={<a, 1>, <a, 4>, <b, 2>, <c, 4>, <c, 5>} 求：S·R，(S·R)-1，R–1，S–1，R–1·S–1
2024/11/24
§5.1 Relations and their properties (7) 5.1.4 Properties of relations
特殊关系 空关系 全域关系EA 恒等关系IA P(A)上的包含关系 三角形的相似关系
自反性 ⅹ
√ √ √ √
反自反性
√
ⅹ ⅹ ⅹ ⅹ
对称性
√ √ √
ab(a A b A (a,b) R (b,a) R a b)
ab(a A b A aRb a b bR a)
2024/11/24
§5.1 Relations and their properties (6)
5.1.4 Properties of relations
We denote the composite of R and S by SR.
S R {(a, c) | a A, c C, b B such that (a, b) R, (b, c) S}
离散数学第二章关系
例9 .设A={1,2,3,4} ，B={2,4,6,8,10} 。 R={(1,2),(2,4),(3,6)}。
则 (R) = {1,2,3}A ， (R) = {2,4,6}B 。
二.关系的一些关联性质 17
离散数学
定理1. 设R1,R2 A×B是两个关系。若 R1 R2 ，则
(1)保序性： (R1) (R2) ； (2)保序性： (R1) (R2) ；
注：笛卡尔(1596-1650 )，法国数学家， 1637年发表《方法论》之 一《几何学》，首次提出坐标及变量概念。这里是其概念的推广。
定义2. • 二个集合A，B的(二维或二重)叉积定义为 A×B ={(a, b): a A bB} ； •其元素——二元组(a, b)通常称为序偶或偶对(ordered
故 (R1)∩ (R2) = {1,2 }
21
离散数学
所以 (R1)∩ (R2) (R1 ∩ R2) 。
元素aA和集合A1A在关系R A×B下的关联集 (1)a的R-关联集(R-relative set of a)：
R(a)={b : bBaRb }B ；
(2) A1的R-关联集(R-relative set of A1)： R(A1)={b : bB (aA1)(aRb) }B 。
•当A=B时，即RA×A，则称R是A上的一个二元关 系。
例1 . 设A是西安交通大学全体同学组成的集合。 11
离散数学
R={(a,b) : aAbAa与b是同乡}A×A 于是，R是西安交通大学同学之间的同乡关系。
例2 . 设A是某一大家庭。
R1 = {(a,b) : aAbAa是b的父亲或母亲}A×A R2 = {(a,b) : aAbAa是b的哥哥或姐姐}A×A R3 = {(a,b) : aAbAa是b的丈夫或妻子}A×A 于是，
离散数学 第3讲 同余关系和商代数
证明： 必要性： 设～是关于运算*的同余关系,并对任意a、b、c、d∈S,假设 a～b和c～d。a～b蕴含着ac～bc,而c～d蕴含着bc～bd。根据～ 的传递性, 得出ac～bd。 充分性： ～是一等价关系, 假设对任意a、b、c、d∈S,当a～b和c～d 时,ac～bd。因为c～c,故如果a～b,那么ac～bc。类似地,ca～cb。
一、同余关系
同余关系定义: 设R为代数A=<S, *, △>的载体S上的等价关系, 如果在代 数运算*下仍能保持, 则称R是关于运算*的同余关系。
a b
a*c b*c
a b
c
△a △b
一、同余关系
例1：给定代数A=<I, ·>，I：整数集合，运算· 为普通乘法运算，R为I
上的模k相等(k∈I+)关系, 即xRy当且仅当x≡y(mod k)，现在证明R是 关于运算· 的同余关系。
由定理2可以看出，一 个同态可以诱导出一 个同余关系； 反过来， 可以证明一个同余关 系也可以导出一个同 态。
∵h为同态 ∴ h(△a)=△′h(a)，h(△b)=△′h(b)
∴ h(△a)= h(△b), ∴△aR△b，即R是关于运算△的同余关系；
ii）如果aRb，cRd，则h(a)=h(b),h(c)=h(d), ∴ h(a)*′h(c)= h(b)*′h(d)， ∵h为同态 ∴ h(a*c)=h(a)*′h(c)，h(b*d) = h(b)*′h(d) ∴ h(a*c)= h(b*d)， ∴ (a*c)R(b*d)，即R是关于运算*的同余关系。
(2) 证明h是双射函数。h: S/～→f(S)是单射：对任意x1、x2∈S, 若f(x1)
离散数学第二章一阶逻辑知识点总结
离散数学第二章一阶逻辑知识点总结数理逻辑部分第2章一阶逻辑2.1 一阶逻辑基本概念个体词（个体）: 所研究对象中能够独立存在的具体或抽象的客体个体常项：具体的事物，用a, b, c表示个体变项：抽象的事物，用x, y, z表示个体域: 个体变项的取值范围有限个体域，如{a, b, c}, {1, 2}无限个体域，如N, Z, R, …全总个体域: 宇宙间一切事物组成谓词: 表示个体词性质或相互之间关系的词谓词常项：F(a)：a是人谓词变项：F(x)：x具有性质F一元谓词: 表示事物的性质多元谓词(n元谓词, n2): 表示事物之间的关系如L(x,y)：x与y有关系L，L(x,y)：x y，…0元谓词: 别含个体变项的谓词, 即命题常项或命题变项量词: 表示数量的词全称量词: 表示任意的, 所有的, 一切的等如x 表示对个体域中所有的x存在量词: 表示存在, 有的, 至少有一具等如x表示在个体域中存在x一阶逻辑中命题符号化例1 用0元谓词将命题符号化要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化(1) 墨西哥位于南美洲在命题逻辑中, 设p:墨西哥位于南美洲符号化为p, 这是真命题在一阶逻辑中, 设a：墨西哥，F(x)：x位于南美洲符号化为F(a)例2 在一阶逻辑中将下面命题符号化(1) 人都爱美; (2) 有人用左手写字分不取(a) D为人类集合, (b) D为全总个体域.解：(a) (1) 设G(x)：x爱美, 符号化为x G(x)(2) 设G(x)：x用左手写字, 符号化为x G(x)(b) 设F(x)：x为人，G(x)：同(a)中(1) x (F(x)G(x))(2) x (F(x)G(x))这是两个基本公式, 注意这两个基本公式的使用.例3 在一阶逻辑中将下面命题符号化(1) 正数都大于负数(2) 有的无理数大于有的有理数解注意: 题目中没给个体域, 一律用全总个体域(1) 令F(x): x为正数, G(y): y为负数, L(x,y): x>y x(F(x)y(G(y)L(x,y))) 或x y(F(x)G(y)L(x,y)) 两者等值(2) 令F(x): x是无理数, G(y): y是有理数,L(x,y)：x>yx(F(x)y(G(y)L(x,y)))或x y(F(x)G(y)L(x,y)) 两者等值几点注意：1元谓词与多元谓词的区分无特殊要求，用全总个体域量词顺序普通别能随便颠倒否定式的使用考虑：①没有别呼吸的人②别是所有的人都喜爱吃糖③别是所有的火车都比所有的汽车快以上命题应怎么符号化？2.2 一阶逻辑合式公式及解释字母表定义字母表包含下述符号：(1) 个体常项：a, b, c, …, a i, b i, c i, …, i1(2) 个体变项：x, y, z, …, x i, y i, z i, …, i 1(3) 函数符号：f, g, h, …, f i, g i, h i, …, i1(4) 谓词符号：F, G, H, …, F i, G i, H i, …, i1(5) 量词符号：,(6) 联结词符号：, , , ,(7) 括号与逗号：(, ), ，定义项的定义如下：(1) 个体常项和个体变项是项.(2) 若(x1, x2, …, x n)是任意的n元函数，t1,t2,…,t n是任意的n个项，则(t1, t2, …, t n) 是项.(3) 所有的项基本上有限次使用(1), (2) 得到的.个体常项、变项是项，由它们构成的n元函数和复合函数依然项定义设R(x1, x2, …, x n)是任意的n元谓词，t1,t2,…, t n 是任意的n个项，则称R(t1, t2, …, t n)是原子公式.原子公式是由项组成的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均为自由浮现.闭式: 别含自由浮现的个体变项的公式.给定公式A=x(F(x)G(x))成真解释: 个体域N, F(x): x>2, G(x): x>1代入得A=x(x>2x>1) 真命题成假解释: 个体域N, F(x): x>1, G(x): x>2 代入得A=x(x>1x>2) 假命题咨询: xF(x)x F(x) 有成真解释吗？xF(x)x F(x) 有成假解释吗？被解释的公式别一定全部包含解释中的4部分.闭式在任何解释下基本上命题，注意别是闭式的公式在某些解释下也也许是命题.永真式（逻辑有效式）：无成假赋值矛盾式（永假式）：无成真赋值可满脚式：至少有一具成真赋值几点讲明：永真式为可满脚式，但反之别真谓词公式的可满脚性（永真性,永假性)是别可判定的利用代换实例可判某些公式的类型定义设A0是含命题变项p1, p2, …,p n的命题公式，A1,A2,…,A n是n个谓词公式，用A i处处代替A0中的p i (1i n)，所得公式A称为A0的代换实例.例如:F(x)G(x), xF(x)yG(y) 等基本上p q的换实例，x(F(x)G(x)) 等别是p q 的代换实例.定理重言式的代换实例基本上永真式，矛盾式的代换实例基本上矛盾式.2.3 一阶逻辑等值式等值式定义若A B为逻辑有效式，则称A与B是等值的，记作A B，并称A B 为等值式.基本等值式:命题逻辑中16组基本等值式的代换实例如，xF(x)yG(y) xF(x)yG(y)(xF(x)yG(y)) xF(x)yG(y) 等消去量词等值式设D={a1,a2,…,a n} xA(x)A(a1)A(a2)…A(a n)xA(x)A(a1)A(a2)…A(a n)量词否定等值式设A(x)是含x自由浮现的公式xA(x)x A(x)xA(x)x A(x)量词分配等值式x(A(x)B(x))xA(x)xB(x)x(A(x)B(x))xA(x)xB(x)注意：对无分配律，对无分配律例将下面命题用两种形式符号化(1) 没有别犯错误的人(2) 别是所有的人都爱看电影解(1) 令F(x)：x是人，G(x)：x犯错误.x(F(x)G(x))x(F(x)G(x))请给出演算过程，并讲明理由.(2) 令F(x)：x是人，G(x)：爱看电影.x(F(x)G(x))x(F(x)G(x))给出演算过程，并讲明理由.前束范式定义设A为一具一阶逻辑公式, 若A具有如下形式Q1x1Q2x2…Q k x k B, 则称A为前束范式, 其中Q i(1i k)为或，B为别含量词的公式.例如，x y(F(x)(G(y)H(x,y)))x(F(x)G(x))是前束范式, 而x(F(x)y(G(y)H(x,y)))x(F(x)G(x))别是前束范式.定理（前束范式存在定理）一阶逻辑中的任何公式都存在与之等值的前束范式注意:公式的前束范式别惟一求公式的前束范式的办法: 利用重要等值式、置换规则、换名规则、代替规则举行等值演算.换名规则: 将量词辖域中浮现的某个约束浮现的个体变项及对应的指导变项，改成其他辖域中未曾浮现过的个体变项符号，公式中其余部分别变，则所得公式与原来的公式等值.代替规则: 对某自由浮现的个体变项用与原公式中所有个体变项符号别同的符号去代替，则所得公式与原来的公式等值.例求下列公式的前束范式(1) x(M(x)F(x))解x(M(x)F(x))x(M(x)F(x)) （量词否定等值式）x(M(x)F(x))两步结果基本上前束范式，讲明前束范式别惟一.(2) xF(x)xG(x)解xF(x)xG(x)xF(x)x G(x) （量词否定等值式）x(F(x)G(x)) （量词分配等值式）另有一种形式xF(x)xG(x)xF(x)x G(x)xF(x)y G(y) ( 换名规则) x y(F(x)G(y)) ( 量词辖域扩张) 两种形式是等值的(3) xF(x)xG(x)解xF(x)xG(x)xF(x)x G(x)x(F(x)G(x)) （为啥？）或x y(F(x)G(y)) （为啥？）(4) xF(x)y(G(x,y)H(y))解xF(x)y(G(x,y)H(y))zF(z)y(G(x,y)H(y)) （换名规则）z y(F(z)(G(x,y)H(y))) （为啥？）或xF(x)y(G(z,y)H(y)) （代替规则）x y(F(x)(G(z,y)H(y)))(5) x(F(x,y)y(G(x,y)H(x,z)))解用换名规则, 也可用代替规则, 这个地方用代替规则 x(F(x,y)y(G(x,y)H(x,z)))x(F(x,u)y(G(x,y)H(x,z)))x y(F(x,u)G(x,y)H(x,z)))注意：x与y别能颠倒。
离散数学第二章
P (t1 , t2 , , tn ) 是原子公式。
32
§2.1.3 谓词逻辑公式（公式 ）
定义 谓词公式由下述各条规定组成： （1）原子公式是谓词公式。 （2）若A是谓词公式，则﹁ A也是谓词公式。 （3）若A和B是谓词公式，则A ∨ B，A ∧ B，A → B， 也是谓词公式。
22
2．存在量词
注意：１．在存在量词 的作用下，x不再起变量的作用， 存在量词也“约束”了x的变量作用。 注意：２．在存在量词作用下，命题中的特性谓词与命题 变元之间必须采用联结词合取，而不能用条件。 注意：3．命题的表示形式与个体域密切相关。 例：有些狗是聪明的。 若个体域为所有狗的集合，则该命题表示为：
这种“描述主语性质的谓语结构的抽象形式或描述主语所 涉及对象之间的关系的抽象形式”就是谓词。语句中的主 语称为个体。 在原子命题中引进谓词和个体的概念，这种以命题中的谓 词为基础的分析研究，称为谓词逻辑(或称谓词演算)。
7
§2.1.1 谓词与个体
在谓词逻辑中，将原子命题分解为谓词与个体两部分。
F (a1 , a2 , , an )
例如， T（a）：a是教师。 D（３，２）：３大于２。 C（武汉，北京，广州）：武汉位于北 京和 广州之间。 注意顺序
9
§2.1.1 谓词与个体
在一个谓词中，个体是可以变化的，如 “是大学生” 中个体是可以变化的，可以是“张华是大学生” 也可
以是“何勇是大学生” ，等等。
31
§2.1.3 谓词逻辑公式（公式 ）
定义( 项 ) (1)个体常量符是项；
(2)个体变量符是项；
(3)设f是n元函数符，
t1 , t2 , , tn 为项，则
离散数学第二章课件
2013/9/12
离散数学
15
关系图举例
• 例：设A={1,2,3,4,5} , R={<1,1>,<1,2>,<3,2>,<1,4>,<5,4>,<5,1>}, 则，R的关系图GR如下：
1
5 4
2013/9/12
2 3
离散数学 16
下面关系图有什么性质
a b c a b d c b a c
(a)
2013/9/12
离散数学
5
二元关系的性质的举例1
• 数值之间的相等关系“=” 对任意的x,y,z∈R(实数集),由“=”的性 质得: 对每一个x∈R ，x=x，∴ “=”是 自反的；若x=y,必有y=x,因此“=”是对 称的； 若x=y,y=x,必有x=y,因此“=”是 反对称的； 若x=y,y=z,必有x=z,因此“=” 是传递的；
25
• 定理2.2.1: 设R是A到B的关系,S是B到C的关系,T是C到D的关 系,则 ( R S ) T R (S T )
证明： 同理可证 R (S T ) ( R S ) T
于是有：( R S ) T R (S T )
2013/9/12
2013/9/12
离散数学
2
关系及其表示
特别地： (1)若R= A×B,称R为全关系。 (2)若A=B,则称R为集合A上的二元关系。 设:|A|=n,则|A×A|=n2,于是,A上所有不同的二 n2 n2 元关系共有2 。（|(A×A)|= 2 ） 其中大多数关系没什么意义，我们关心的是 具有一定性质的关系。
7
反对称性的讨论：
在反对称性定义中，对任意x,y ∈A， 若xRy 且yRx ,则x=y， 就称R是反对称的。 xRy 且yRx是条件； x=y是结论，在这里， 只要条件不成立，关系R就是反对称的。 当条件成立时，R是否是反对称的，要视 结论的真假而定。[例如]
离散数学(第3讲)
2018/11/12
计算机学院
27
（6）若析取范式的某一个短语中缺少该命题公式中所 规定的命题变元P ，则可用公式： （～Ｐ∨Ｐ）∧Q=Q 将命题变元 P 补进去，并利用分配律展开，然后合并 相同的短语，此时得到的短语将是标准的极小项； （7）若合取范式的某一个子句中缺少该命题公式中所 规定的命题变元P ，则可用公式： （～Ｐ∧Ｐ）∨Q=Q 将命题变元 P 补进去，并利用分配律展开，然后合并 相同的子句，此时得到的子句将是标准的极大项。 （8）利用幂等律将相同的极小项和极大项合并，同时 利用交换律进行顺序调整，由此可转换成标准的主析 取范式和主合取范式。
2018/11/12 计算机学院 8
求一个命题公式的与之等价的析取范式和合取 范式，其步骤如下： （1）利用等价公式中的等价式和蕴涵式将公式 中的→、用联结词～ 、∧、∨来取代； （ 2 ）利用德 摩根定律将否定号┐移到各个命 题变元的前端； （3）利用结合律、分配律、吸收律、幂等律、 交换律等将公式化成其等价的析取范式和合取范 式。
demorgan定律可知对公式的否定可以直接作用到原子本身并且把公式中的变成把变成即得201521计算机学院结合律分配律该式正好是b左端的对偶式由a及对偶原理得证该式正好是右端的对偶式201521计算机学院一个命题公式可有无穷多个和它等价的命题公式用真值表或等价变换证明它们是否等价往往比较困难甚至连计算机也不能解决
2018/11/12
计算机学院
14
主（特异、正则）合取范式
定义1-4.4 在n个变元的基本和（子句）中，若每一个变 元与其否定并不同时存在，且二者之一必出现且仅出现一 次，则这种基本和称为极大项。 由有限个极大项组成的合取式称为 主合取范式。 以下是由两个原子构成的极大项的真值表 P 1 1 0 0 Q 1 0 1 0 P∨Q 1 1 1 0 P∨～Q 1 1 0 1
离散数学第2章ppt课件
C
n
A k A 1A 2 A n
k 1
二、集合的并 (Union)
3、性质
1)幂等律 A∪A =A
2)零律
A∪U =U
3)同一律 A∪ =A
4)交换律 A∪B =B∪A
5)结合律 A∪(B∪C) =(A∪B)∪C
二、集合的并 (Union)
3、性质
， 6)
若A⊆B，C⊆D，则A∪C
是集合，没有元素
有1个元素的集合
2) ∈{}， {}
五、特殊集合
1、空集
定理 空集是任一集合A的子集，即 ⊆A。
下列命题是否为真。
1)√⊆;
2) ∈ ; 3) ⊆{}; 4) ∈{} 。
√
√
五、特殊集合
1、空集
推理 空集是唯一的。(绝对唯一)
证明： 设1，2是两个空集, 则1 2，且2 1，
证明唯一性 一般采用反
1、符号表示法
通常用大写字母A, B, C, …代表集合; 用小写字母a, b, c, …代表元素。
1)如果a是集合A的一个元素, 则记为 a∈A, 读做“a属于A”,或 “a在集合A中”。
2)如果a不是集合A的一个元素, 则记为 a∈A, 读做“a不属于A”,或 “a不在集合A中”。
注：任一元素, 对某一集合而言, 或属于该集合, 或不属于该集合, 二者必居其一, 且只居其一。
1) 若b∈A，则b是不给自己刮脸的人， 而由题意，b只给集合A中的人刮脸。 ∴b 要给b 刮脸， 即b ∈ A。
理发师问题
在一个很僻静的孤岛上，住着一些人家，岛上只 有一位理发师，该理发师专给那些并且只给那些自己 不刮脸的人刮脸。那么，谁给这位理发师刮脸？
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2、规则使用说明
（1）用US,ES在推导中去掉量词，用UG,EG使结论量化 （加上量词）。 （2）在使用ES,US时,要求谓词公式必须是前束范式
（3）推导中既用ES，又用US， 则必须先用ES ，后 用US方可取相同变元，反之不行。
xP(x) P(c) xQ(x) Q(c)
（4）推导中连续使用US规则可用相同变元 xP(x) P(c) xQ(x) Q(c)
（x）(M(x)D(x))，M(s) D(s)
(1) x(M(x)D(x))
P
(2) M(s) D(s)
US(1)
(3) M(s)
P
(4) D(s)
T(2)(3)I
（2）CP 规则证明
例 证明: x (P(x)Q(x)) x P(x) xQ(x)
(1) x P(x)
附加前提
(2) x (P(x)Q(x))
x(P(x)(Q(x)S(x))),x(P(x)T(x))，Q(c)T(c)P(c)S(c)
推理形式如下：
(1) P(c)
附加前提
(2) x(P(x)(Q(x)S(x)))
P
(3) P(c)(Q(c)S(c))
US (2)
(4) Q(c)S(c)
T(1)(3) I
(5) Q(c)T(c)
P
(6) Q(c)
T (6)(10) I
T(1) E
(3) xP(x)
T (2) I
(4) P(a)
ES (3)
(5) xQ(x)
T(2) I
(6) Q(a)
US (5)
(7) x( P(x) Q(x) )
P
(8) P(a) Q(a)
US(7)
(9) P(a) Q(a)
T(8) E
(10) Q(a)
T (4)(9) I
(11) Q(a) Q(a ) 矛盾
P
(3)P(c) Q(c)
ES (2)
(4) P(c)
US (1)
(5) Q(c)
T(3)(4) I
(6) xQ(x)
EG (5)
(7) x P(x)xQ(x)
CP
例 将下列推理符号化并给出形式证明: 每一个大学生不是文科生就是理科生；有的大学生
是优等生；小张不是文科生但他是优等生。因此，如果 小张是大学生，他就是理科生。 解： 个体域取全总个体域，设P(x)：x是大学生， Q(x)：x是文科生，S(x)：x是理科生，T(x)：x是优等生， c：小张 前提：x(P(x)(Q(x)S(x)))，x(P(x)T(x))，Q(c)T(c) 结论：P(c)S(c)
T (5) I
(7) Q(c) S(c)
T (4) E
(8) S(c)
T (6)(7) I
(9) P(c)S(c)
CP
（3）反证法
例 证明： ¬x(P(x)Q(x)), xP(x) ¬ xQ(x)
(1) ¬¬ xQ(x)
附加前提
(2) xQ(x)
T(1) E
(3) Q(c)
US (2)
(4) xP(x)
§6 谓词逻辑的推理理论
1、关于量词的四个推理规则 （1）全称指定规则（US规则）
如果对个体域中所有客体x, A(x)成立，则对个 体域中某个任意客体c， A(c) 成立。 该规则表示成：
xA(x) A(c) (x,c个体域)
（2）全称推广规则（UG规则） 如果能够证明对个体域中每一个客体c，命题A(c) 都成立，则可得到结论xA(x) 成立。 该规则表示成： A(c) xA(x)
（3）存在指定规则（ES规则）
如果对于个体域中某些客体A(x)成立，则必有 某个特定的客体c，使A(c)成立。 该规则表示成：
xA(x) A(c)
（4）存在推广规则（EG规则） 如果对个体域中某个特定客体c，有A(c) 成立， 则在个体域中，必存在x，使A(x)成立。 该规则表示成： A(c) xA(x)
（5）推导中连续使用ES规则时，使用一次更改一个变元。 xP(x) P(c) xQ(x) Q(d)
例 指出下列推导中的错误，并加以改正。
(1) xP(x)
P
(2) P(c)
ES(1)
(3) xQ(x)
P
(4) Q(c)
ES(2)
解： 第二次使用存在量词消去规则时，所指定的 特定个体应该是证明序列以前公式中没有出现过的， 正确的推理是：
了，或者有些人跳舞了。（个体域为参加晚会的人）
解： 设P(x)：x唱歌了，Q(x)：x跳舞了。 则： 前提：x(P(x)Q(x))
结论：xP(x)xQ(x)
x( P(x) Q(x) ) xP(x) xQ(x)
推理形式如下：
(1) ( xP(x) xQ(x) )
附加前提
(2) xP(x) xQ(x)
(1) xP(x)
P
(2) P(c)
ES(1)
(3) xQ(x)
P
(4) Q(d)
ES(2)
3、 推理证明 (1)命题逻辑中的P规则,T规则都可以引用到谓词逻 辑的推理中。 (2)使用量词的四个推理规则对量词进行适当处理。 (3)推理过程中使用谓词逻辑的等价公式和永真蕴含 公式。 (4)推理证明方法包括直接证法和间接证法，其证明 思想与命题逻辑中的类似。间接证法包括CP规则 证明和反证法证明。
P
(5) P(c)
US (4)
(6) P(c)Q(c)
T(3)(5) I
(7) x(P(x)Q(x))
UG (6)
(8) ¬x(P(x)Q(x))
P
(9) x(P(x)Q(x)) ¬x(P(x)Q(x)) T(7)(8) I
例 将下列推理符号化并给出形式证明: 晚会上所有人都唱歌或跳舞了，因此或者所 证明苏格拉底三段论：“人都是要死的， 苏格拉底是人，所以苏格拉底是要死的。”
解：设M(x)：x是人； （特性谓词） D(x)：x是要死的； M(s)：苏格拉底是人；D(s)：苏格拉底是要死的。
则翻译为： x(M(x) D(x))，M(s) D(s)
例:证明苏格拉底论证