- 1、本文档共645页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
出版社;
;1.1 命题与合式公式;;;;;;;;;;;;;;;;1.2 逻辑等值式;;;;;;;;;;;;;;;;;;1.3 范 式;;;;;;;;;;;;;1.4 推理理论;;;;;;;;;;;;;;;;;;;;;;*1.5 命题逻辑中的有关算法;;;;;;;;;;;;;;;;;;2.1 谓词逻辑的基本概念;事实上,如用p,q,r分别表示该三段论中的3个陈述句,其中p,q为前提,r为结论,因为p∧q→r不是永真式,所以r不是有效结论。为了克服这种局限性,有必要对原子命题内部的成分、结构及特征进行剖分。这样,在命题逻辑的基础上又形成了谓词逻辑的理论体系。
;2.1.1 谓词逻辑的基本要素
谓词逻辑又称一阶逻辑,它的基本研究方法是将原子命题分为个体与谓词两部分,同时它还使用量词来描述个体间的基本数量关系。由此个体词、谓词和量词就组成了谓词逻辑符号化的三个基本要素。
个体词简称个体,一般是指可以独立存在的事件或物体,它可以是抽象的,也可以是具体的。例如:张三,电脑,5,定理,社会主义等都是个体。具体的或特定的个体称为个体常元,常用小写字母a,b,c,…表示;泛指的或未指定的个体称为个体变元,常用小写字母x,y,z,…表示。;定义2.1.1 含有n个(n≥1)个体变元的谓词称为n元谓词。
定义2.1.2 (1)表示个体间数量关系的词称为量词。
(2)日常语言中“所有的”“一切”“任意的”等量词称为全称量词,用符号“”表示,读作“对所有的”(或读作“对一切的”“对任意的”)。
(3)日常语言中的“存在着”“有一个”“至少有一个”等量词称为存在量词,用符号“”表示,读作“存在”(或读作“有一个”“有一些”)。;定义2.1.3 设个体变元的论域为D,F为任一谓词,1,0分别表示逻辑值真与假。;2.1.2 命题符号化
在对个体,谓词和量词有了初步的认识后,来讨论谓词逻辑中命题符号化的问题。
例2.1.1 用谓词逻辑的方法,将下列命题符号化。
(1)2是素数且是偶数。
(2)张三比李四高,且李四不比张三重。
(3)如果a > b且b > c,则a > c。
解 (1)设P(x):x是素数,Q(x):x是偶数。则该命题符号化为:;2.2 谓词公式与等值演算;为方便符号体系中(1),(2),(3)的综合运用,特引入项的概念。
定义2.2.1 谓词逻辑的符号体系中,项的递归定义如下:
(1)个体常元符号和个体变元符号是项。
(2)若f(x1,x2,…,xn)是任意的n元函数符号,t1,t2 , …,tn是项,则f(t1,t2,…,tn)是项。
(3)所有的项都是有限次运用(1),(2)得到的。;定义2.2.2 G(x1,x2,…,xn)是任意n元谓词,t1,t2,…,tn是任意n个项,则称G(t1,t2,…,tn)为原子谓词公式,简称原子公式。
定义2.2.3 合式公式的递归定义如下:
(1)原子公式是合式公式。
(2)若A,B是合式公式,则(A),(A∧B),(A∨B),(A→B),(AB)也是合式公式。
(3)若A是合式公式,则xA,xA也是合式公式。
(4)只有有限次应用(1)~(3)构成的符号串才是合式公式。;99;2.2.2 约束变元与自由变元
出现在合式公式中的量词及其作用变元,对它的辖域内谓词符号中的同名变元,起着十分重要的作用;同时对谓词符号中的非同名变元又不起任何作用。
例2.2.2 讨论公式x(P(x)∨ Q(x,y)→R(y))∧G(x)中量词在其辖域中的作用。
解 在全称量词的辖域内,P,Q中的变元x与作用变元同名,因而受该量词的约束;Q,R中的变元y,则不受该量词的约束。谓词G中的变元x虽然与前面的作用变元同名,但它不在其辖域内,因而不受该量词的约束。;定义2.2.4 若x是某量词(全称量词或存在量词)的作用变元,公式A是该量词的辖域,则x在A中的出现称为约束出现,A中出现的x称为约束变元。A中的变元若不是约束出现的,则称为自由出现的,凡自由出现的变元均称为自由变元。
例2.2.3 说明下列各公式中,量词的辖域与变元约束的情况。;规则1(约束变元的换名规则) 将谓词公式中某量词的作用变元及相应量词辖域中该变元之所有出现处,都用在该谓词公式中未曾出现过的个体变元符号来替换,公式的其余部分不变。
规则2(自由变元的代入规则) 在谓词公式中某个体变元的所有自由出现处,将其用该公式中未曾出现过的同一个体变元符号来代替,公式的其余部分不变。;2.2.3 谓词公式的求值及类型
在命题逻辑中,一个具体的命题公式,可以由该公式中所有变元的一组赋值求得一个相应的真值。由于限定了变元数目是有限的,因此可列出所有变元的全部赋值,从而得到公式的真值表。
在谓词逻辑中,一般的
文档评论(0)