1、离散数学数理逻辑2/26第四章一阶逻辑基本概念n一阶逻辑命题符号化一阶逻辑命题符号化n一阶逻辑公式及解释一阶逻辑公式及解释3/26一阶逻辑的引入n在命题逻辑中在命题逻辑中,命题是最基本的单位命题是最基本的单位,对简单命题不再进行分对简单命题不再进行分解解,不关心命题中个体与总体的内在联系和数量关系不关心命题中个体与总体的内在联系和数量关系.这就使这就使得它难以描述和证明一些常见的推理得它难以描述和证明一些常见的推理.因此因此,需要对命题进行需要对命题进行细化细化,建立更为精细的逻辑推理体系建立更为精细的逻辑推理体系.n例如例如:逻辑学中著名的三段论逻辑学中著名的三段论:n凡偶
2、数都能被凡偶数都能被2整除整除.6是偶数是偶数.所以所以,6能被能被2整除整除.这个推理是数学中的真命题这个推理是数学中的真命题,是正确的是正确的,但在命题逻辑中却无但在命题逻辑中却无法判断其正确性法判断其正确性,用用p,q,r分别表示以上三个命题分别表示以上三个命题.则得到推理的形式结构为则得到推理的形式结构为:(pq)r由于上式不是重言式由于上式不是重言式,因而不能由它判断推理的正确性因而不能由它判断推理的正确性.原因原因在于各命题的在于各命题的内在联系内在联系没有表示出来没有表示出来.n为了克服命题逻辑的局限性为了克服命题逻辑的局限性,应该将原子命题再细分应该将原子命
3、题再细分,分析出分析出个体词个体词,谓词和量词谓词和量词,以便达到表达出命题的内在联系和命题以便达到表达出命题的内在联系和命题之间的逻辑关系之间的逻辑关系.这就是一阶逻辑所研究的内容这就是一阶逻辑所研究的内容.4/264.1一阶逻辑命题符号化n谓词逻辑命题符号化的三个基本要素谓词逻辑命题符号化的三个基本要素:个体词个体词,谓词谓词,量词量词.1.个体词个体词:研究对象中可以独立存在的研究对象中可以独立存在的具体的或抽象的具体的或抽象的客体客体.例如例如:小王小王,小张小张,马列主义马列主义,3,北京等都可做为个体词北京等都可做为个体词.注注:(1)表示表示具体
4、或特定具体或特定客体的个体词称为客体的个体词称为个体常项个体常项,一般用小一般用小写字母写字母a,b,c,表示表示;(2)表示表示抽象或泛指抽象或泛指的个体词称为的个体词称为个体变项个体变项,一般用小写字母一般用小写字母x,y,z,表示表示.个体变项的个体变项的取值范围取值范围称为称为个体域个体域(或论域或论域).个体域可以是有个体域可以是有限集合限集合,如如1,2,3或或a,b,c,也可以是无限集合也可以是无限集合,如自然数集合如自然数集合N或实数集合或实数集合R.由宇宙间一切事物组成的个体域称为由宇宙间一切事物组成的个体域称为全总个全总个体域体域.5/26
5、谓词2.谓词谓词:用来刻划个体词的性质或个体词之间相互关系的词用来刻划个体词的性质或个体词之间相互关系的词.例如例如:(1)在命题在命题“是无理数是无理数”中中,“是无理数是无理数”是谓词是谓词.(2)在命题在命题“x是有理数是有理数”中中,“是有理数是有理数”是谓词是谓词.(3)在命题在命题“小王与小李同岁小王与小李同岁”中中,“与与同岁同岁”是谓词是谓词.(4)在命题在命题“x与与y具有关系具有关系L”中中,“与与具有关系具有关系L”是谓词是谓词.注注常用大写字母常用大写字母F,G,H等来表示谓词等来表示谓词.表示表示具体具体性质或关系的谓词称为性质或关
6、系的谓词称为谓词常项谓词常项;表示表示抽象或泛指抽象或泛指的性质或关系的谓词称为的性质或关系的谓词称为谓词变项谓词变项.F(a):表示个体常项表示个体常项a具有性质具有性质F(F是谓词常项或变项是谓词常项或变项);F(x):表示个体变项表示个体变项x具有性质具有性质F(F同上同上);F(a,b):表示个体常项表示个体常项a,b具有关系具有关系F(同上同上);F(x,y):表示个体变项表示个体变项x,y具有关系具有关系F(同上同上).一般地一般地,用用P(x1,x2,xn)表示含表示含n(n1)个个体变项个个体变项x1,x2,xn的的n元谓词元谓词.它可看
7、成以个体域为定义域它可看成以个体域为定义域,以以0,1为值域的为值域的n元函数关系元函数关系.当当P取常项取常项,且且(x1,x2,xn)取定常项取定常项(a1,a2,an)时时,P(a1,a2,an)是一个命是一个命题题.6/26谓词续不含不含个体变项的谓词称为个体变项的谓词称为0元谓词元谓词.例如例如F(a),G(a,b),P(a1,a2,an)等等.当当F,G,P等为谓词常项时等为谓词常项时,0元谓词即为命题元谓词即为命题.因此因此,命题可看作特殊的谓词命题可看作特殊的谓词.例例用用0元谓词将下列命题符号化元谓词将下列命题符号化,并讨论它们的真值并讨论它们的真
8、值.(1)只有当只有当2是素数时是素数时,4才是素数才是素数;(2)如果如果5大于大于4,则则4大于大于6.解解(1)设一元谓词设一元谓词F(x):x是素数是素数;个体常项个体常项:a:2；b:4.则命题可符号化则命题可符号化:F(b)F(a).因为该蕴含式前件为假因为该蕴含式前件为假,故命题为真故命题为真.(2)设二元谓词设二元谓词G(x,y):x大于大于y.个体常项个体常项:a:4;b:5;c:6.则命题可符号化为则命题可符号化为:G(b,a)G(a,c).由于由于G(b,a)为真为真,而而G(a,c)为假为假,故命题为假故命题为假.7
9、/26量词的引入n有了个体词和谓词的概念之后有了个体词和谓词的概念之后,有些命题还是不能准确有些命题还是不能准确地符号化地符号化.以前面所讨论的三段论为例以前面所讨论的三段论为例:令令P(x):x是偶数是偶数.S(x):x能被能被2整除整除.a:6.符号化为符号化为:(1)P(x)S(x)(2)P(a)(3)S(a)我们知道我们知道,“凡偶数都能被凡偶数都能被2整除整除.”是一个真命题是一个真命题,而而“P(x)S(x)”不是一个命题不是一个命题.原因是原因是“P(x)S(x)”没没有把命题有把命题中中“凡凡”的意思表示出来的意思表示出来.即缺少表示个
10、体常项或变项的数量关系的词即缺少表示个体常项或变项的数量关系的词.所以还要所以还要引入量词的概念引入量词的概念.8/26量词量词量词:表示个体常项或变项之间数量关系的词表示个体常项或变项之间数量关系的词.量词只有两个量词只有两个:全称量词全称量词,存在量词存在量词.(1)全称量词全称量词:表示表示“全部全部”含义的词含义的词.全称量词符号化为全称量词符号化为“”.a.常用语中常用语中“全部全部”,“所有的所有的”,“一切一切”,“每一个每一个”,“任何任何”,“任意的任意的”,“凡凡”,“都都”等词都是全称量词等词都是全称量词.b.xF(x)表示个体域里所有
11、个体都有性质表示个体域里所有个体都有性质F.(2)存在量词存在量词:表示表示“存在存在”含义的词含义的词.存在量词符号化为存在量词符号化为“”.a.常用词中常用词中“存在存在”,“有一个有一个”,“有的有的”,“至少有一个至少有一个”等词都等词都是存在量词是存在量词.b.xF(x)表示个体域中存在个体具有性质表示个体域中存在个体具有性质F.例例:凡偶数都能被凡偶数都能被2整除整除.可符号化为可符号化为:x(P(x)S(x)是真命题是真命题,其中其中x不再起变元的作用不再起变元的作用,它被全称量词它被全称量词限制住了限制住了,这时我们称这时我们称x被量
12、化了被量化了.9/26一阶逻辑中命题符号化例例个体域为个体域为人类集合人类集合,将下面两个命题符号化将下面两个命题符号化:(1)凡是人都要呼吸凡是人都要呼吸;(2)有的人用左手写字有的人用左手写字.解解令令F(x):x呼吸呼吸;G(x):x用左手写字用左手写字.则则(1)xF(x);(2)xG(x)。例例上例中上例中,将个体域改为将个体域改为全总个体域全总个体域,两命题的符号化形式如何两命题的符号化形式如何解解令令F(x):x呼吸呼吸;G(x):x用左手写字；用左手写字；M(x):x是人是人.则则:(1)x(M(x)F(x);(
13、2)x(M(x)G(x).特性谓词特性谓词:从全总个体域中分离出一个集合从全总个体域中分离出一个集合,定义的谓词定义的谓词.在不同个体域中在不同个体域中,同一个命题的符号化形式可能不同同一个命题的符号化形式可能不同.一般地一般地,对全称量词对全称量词,特性谓词应作为蕴含式的前件特性谓词应作为蕴含式的前件.一般地一般地,对存在量词对存在量词,特性谓词应作为合取式的一项特性谓词应作为合取式的一项.同一个命题同一个命题,在不同个体域中的真值也可能不同在不同个体域中的真值也可能不同.如果问题中没有指明个体域时如果问题中没有指明个体域时,默认为默认为全总体域全总体域.10/
14、26一阶逻辑中命题符号化续当当F是谓词常项时是谓词常项时,xF(x)是个命题是个命题,如果把个体域中的任如果把个体域中的任何一个个体何一个个体a代入代入,F(a)都为真都为真,则则xF(x)为真为真;否则否则xF(x)为为假假.当当F是谓词常项时是谓词常项时,xF(x)是个命题是个命题,如果个体域中存在一如果个体域中存在一个个体个个体a使使F(a)为真为真,则则xF(x)为真为真;否则否则xF(x)为假为假.例例在个体域限制为在个体域限制为(a)和和(b)条件时条件时,将下列命题符号化将下列命题符号化,并给出它并给出它们的真值们的真值.(1)对于任意的对
15、于任意的x,均有均有x2-3x+2=(x-1)(x-2)(2)存在存在x,使得使得x+5=3其中其中(a)个体域为个体域为D1=N(b)个体域为个体域为D2=R解解令令F(x):x2-3x+2=(x-1)(x-2),G(x):x+5=3.则可符号化为则可符号化为(1)xF(x),(2)xG(x).个体域为个体域为(a)时时,(1)是真命题是真命题,(2)是假命题是假命题;个体域为个体域为(b)时时,(1)与与(2)都是真命题都是真命题.11/26一阶逻辑中命题符号化续例例将下列命题符号化将下列命题符号化,并讨论其真值并讨论其真值.(1)实数都能写成整数之比实
16、数都能写成整数之比;(2)有的素数是偶数有的素数是偶数;(3)没有人登上过木星没有人登上过木星;(4)在美国留学的学生未必都是亚洲人在美国留学的学生未必都是亚洲人.解解(1)令令M(x):x为实数为实数;F(x):x能写成整数之比能写成整数之比.则则x(M(x)F(x)不是不是x(M(x)F(x)假命题假命题(2)令令M(x):x为素数为素数;G(x):x为偶数为偶数.则则x(M(x)G(x)不是不是x(M(x)G(x)真命题真命题(3)令令M(x):x是人是人;H(x):x登上过木星登上过木星.则则x(M(x)H(x)真
17、命题真命题(4)令令F(x):x是在美国留学的学生是在美国留学的学生;G(x):x是亚洲人是亚洲人.则则x(F(x)G(x)真命题真命题12/26n元谓词的符号化(n2)例例将下列命题符号化将下列命题符号化(1)兔子比乌龟跑得快兔子比乌龟跑得快;(2)有的兔子比所有的乌龟跑得快有的兔子比所有的乌龟跑得快;(3)并不是所有的兔子都比乌龟跑得快并不是所有的兔子都比乌龟跑得快;(4)不存在跑得同样快的两只兔子不存在跑得同样快的两只兔子.解解令令F(x):x是兔子是兔子;G(y):y是乌龟是乌龟;H(x,y):x比比y跑得快跑得快;L(x,y):x与
18、与y跑得同样快跑得同样快.则则:(1)任意一个兔子任意一个兔子x:x比任意一个乌龟跑得快比任意一个乌龟跑得快x(F(x)y(G(y)H(x,y));(2)存在一个兔子存在一个兔子x:x比任意一个乌龟跑得快比任意一个乌龟跑得快x(F(x)y(G(y)H(x,y));(3)(1)的否定的否定存在一个兔子存在一个兔子x:存在一个乌龟存在一个乌龟y:x不比不比y跑得快跑得快x(F(x)y(F(y)L(x,y)).;(4)“存在一个兔子存在一个兔子x:存在另一个兔子存在另一个兔子y:x与与y跑得同样快跑得同样快”
19、的否定的否定x(F(x)y(F(y)L(x,y)).13/26注1.分析命题中表示性质和关系的谓词分析命题中表示性质和关系的谓词,分别符号化为一元和分别符号化为一元和n元谓词元谓词(n2).2.根据命题的实际意义选用全称量词或存在量词根据命题的实际意义选用全称量词或存在量词.3.一般来说一般来说,多个量词在一起时多个量词在一起时,其顺序不能随意调换其顺序不能随意调换.例如例如:“对任意对任意x,都存在都存在y,使使x+y=10”这一命题这一命题,可符号化为可符号化为xy(x+y=10),它不能改写为它不能改写为yx(x+y=10).
20、练习练习函数函数f(x)在在x=a处极限为处极限为bn任给小正数任给小正数,则存在正数则存在正数,使得使得当当0|x-a|时时,|f(x)-b|0,存在存在0,使得使得当当0|x-a|时时,|f(x)-b|0(0x(|x-a|f(x)-b|)14/264.2一阶逻辑公式及解释非逻辑符号非逻辑符号:个体词常项符号个体词常项符号,函数符号和谓词符号函数符号和谓词符号逻辑符号逻辑符号:个体词变项符号个体词变项符号,量词符号量词符号,联结词符号和括号与逗号联结词符号和括号与逗号n定义定义设设L是一个非逻辑符号是一个非逻辑符号,由由L生成的生成的一阶语言一阶语言L的字母
21、表的字母表包括下述符号如下包括下述符号如下:非逻辑符号非逻辑符号(1)L中的中的个体常项符号个体常项符号:a,b,c,;ai,bi,ci,,i1(2)L中的中的函词符号函词符号:f,g,h,;fi,gi,hi,,i1(3)L中的中的谓词符号谓词符号:F,G,H,;Fi,Gi,Hi,i1逻辑符号逻辑符号(4)个体变项符号个体变项符号:x,y,z,;xi,yi,zi,i1(5)量词符号量词符号:,.(6)联结词符号联结词符号:,,.(7)逗号与括号逗号与括号:,,().15/26
22、项与原子公式n定义定义一阶语言一阶语言L的项的项定义如下定义如下:(1)个体常项符号个体常项符号和和个体变项符号个体变项符号是是项项;(2)若若(x1,x2,xn)是是n元函词符号元函词符号,t1,t2,tn是是n个个项项,则则(t1,t2,tn)是是项项.(3)所有的项都是有限次使用所有的项都是有限次使用(1),(2)得到的得到的n定义定义设设R(x1,x2,xn)是一阶语言是一阶语言L中的中的n元谓词符号元谓词符号.t1,t2,tn是是L的的n个个项项,则称则称R(t1,t2,tn)是是F的的原子原子公式公式16/26合式公式n定义定义一阶语
23、言一阶语言L中的中的合式公式合式公式(也称为谓词公式或也称为谓词公式或公式公式)定义如下定义如下:(1)原子公式是合式公式原子公式是合式公式;(2)若若A是合式公式是合式公式,则则(A)也是合式公式也是合式公式;(3)若若A,B是合式公式是合式公式,则则(AB),(AB),(AB),(AB)也是合式公式也是合式公式;(4)若若A是合式公式是合式公式,则则xA,xA也是合式公式也是合式公式;(5)只有有限次应用只有有限次应用(1)(4)构成的符号串才是合式公式构成的符号串才是合式公式.n定义定义在公式在公式xA和和xA中中,称称x为为指导变
24、元指导变元,A为相为相应量词的应量词的辖域辖域.在在x和和x的辖域中的辖域中,x的所有出现都的所有出现都称为称为约束出现约束出现,A中不是约束出现的其它变项都称为中不是约束出现的其它变项都称为自由出现自由出现.17/26辖域n例例指出下列公式中的指导变元指出下列公式中的指导变元,各量词的辖域各量词的辖域,自由出现和约自由出现和约束出现的个体变项束出现的个体变项:(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中中
25、,x是约束出现是约束出现;y,z是自由出现是自由出现.(2)前件量词前件量词的指导变元的指导变元:x;后件量词后件量词的指导变元的指导变元:y.量词量词的辖域的辖域:(F(x)G(y),其中其中x是约束出现是约束出现,y是自由出现是自由出现.量词量词的辖域的辖域:(H(x)L(x,y,z)),其中其中y是约束出现是约束出现,而而x,z是是自由出现自由出现.18/26闭式定义定义设设A是任意的公式是任意的公式,若若A中中不含自由出现不含自由出现的个体变项的个体变项,则称则称A为封闭的公为封闭的公式式,简称简称闭式闭式.例如例如xyH(x,
26、y),xy(F(x)F(y)L(x,y),x(F(x)G(x)F(a)G(a)例例将下列两个公式中的变项指定为常项使其成为命题将下列两个公式中的变项指定为常项使其成为命题:(1)x(F(x)G(x)(2)xy(F(x)F(y)G(x,y)H(f(x,y),g(x,y)解解(1)个体域个体域F(x)G(x)命题命题真值真值全总全总x是人是人x是黄种人是黄种人所有人都是黄种人所有人都是黄种人0实数实数x是自然数是自然数x是整数是整数所有自然数都是整数所有自然数都是整数1(2)两个两个2元函词变项元函词变项,一个一个1元谓词变项元谓词变项,两个两个
27、2元谓词变项元谓词变项.个体域个体域F(x)G(x,y)H(x,y)f(x,y)g(x,y)全总全总x是实数是实数xyxyx2+y22xy命题命题:对于任意的对于任意的x,y,若若x与与y都是实数且都是实数且xy,则则x2+y22xy.真值为真真值为真.19/26解释n在前面例子中对各种变项的指定也称为对它们的在前面例子中对各种变项的指定也称为对它们的解释解释,是先是先给出公式再对它们进行解释给出公式再对它们进行解释,也可以先给出解释也可以先给出解释,再去解释各再去解释各种公式种公式.n定义定义对公式对公式A指定其中个体域的范围指定其中个体域
28、的范围,并指定其中谓词的具并指定其中谓词的具体含义使其成为命题体含义使其成为命题,称为对公式称为对公式A的一个的一个解释解释.n定义定义设设L是由是由L生成的一阶语言生成的一阶语言,L的的解释的的解释I由下面由下面4部分组部分组成成:n非空个体域非空个体域DI.n对每一个个体常项符号对每一个个体常项符号aL,有一个有一个aDI,称称a为为a在在I中的解中的解释释.n对每一个对每一个n元函词符号元函词符号fL,有一个有一个DI上的上的n元函数元函数f:DInDI,称称f为为f在在I中的解释中的解释.n对每一个对每一个n元谓词符号元谓词符号FL,有一个有一个DI上的上的n元
29、谓词常项元谓词常项F,称称F为为F在在I中的解释中的解释.20/26例n例例给定解释给定解释I如下如下:n个体域个体域D=N.na=0.nf(x,y)=x+y,g(x,y)=xy.nF(x,y):x=y.写出下列公式在写出下列公式在I下的解释下的解释,并指出哪些公式为真并指出哪些公式为真哪些为假哪些为假哪些真值不能确定哪些真值不能确定(1)F(f(x,y),g(x,y);解解:公式解释为公式解释为:“x+y=xy”不是命题不是命题;真值不确定真值不确定(2)F(f(x,a),y)F(g(x,y),z);解解:公式解释为公式解释为:“(x+0=y)
30、(xy=z)”不是命题不是命题;真值不确定真值不确定(3)F(g(x,y),g(y,z);解解:公式解释为公式解释为:“xyyz”不是命题不是命题;真值不确定真值不确定21/26例续(4)xF(g(x,y),z);解解:公式解释为公式解释为:“x(xy=yz)”不是命题不是命题;真值不确定真值不确定(5)xF(g(x,a),x);解解:公式解释为公式解释为:“x(x0=x)”假命题假命题(6)xF(g(x,a),x)F(x,y);解解:公式解释为公式解释为:“x(x0=x)(x=y)”真命题真命题(前件为假前件为假)22/2
31、6例续(7)xy(F(f(x,a),y)F(f(y,a),x);解解:公式解释为公式解释为:“xy(x+0=y)(y+0=x)”真命题真命题(8)xyzF(f(x,y),z);解解:公式解释为公式解释为:“xyz(x+y=z)”真命题真命题(9)xF(f(x,x),g(x,x);解解:公式解释为公式解释为:“x(x+x=xx)真命题真命题23/26公式类型n定理定理闭式在任何解释下都可变成命题闭式在任何解释下都可变成命题.n定义定义设设A为一个公式为一个公式,若若A在任何解释下均为真在任何解释下均为真,则称则称A为为永永真式真式(或
32、逻辑有效式或逻辑有效式);若若A在任何解释下均为假在任何解释下均为假,则称则称A为为永假式永假式(或逻辑矛盾式或逻辑矛盾式);若至少存在一个解释使若至少存在一个解释使A为真为真,则称则称A为为可满足式可满足式.n定义定义设设A0是含命题变项是含命题变项p1,p2,pn的命题公式的命题公式,A1,A2,,An是是n个谓词公式个谓词公式.用用Ai(1in)处处代替处处代替A0中的中的pi,所得公式所得公式A称为称为A0的的代换实例代换实例.n例如例如F(x)G(x),xF(x)yG(y)等都是等都是pq的代换实例的代换实例.n定理定理重言式重言式的代换实例都是的代换实例都是永真式永真式,矛盾式矛盾式的代换实例都是的代换实例都是矛盾式矛盾式.24/26公式类型示例例例判断下列公式中判断下列公式中,哪些是永真式哪些是永真式,哪些是永假式哪些是永假式(1)x(F(x)G(x);