- 1、本文档共20页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二章.谓词演算 §1.谓词 量词 §2.合式公式 解释 可满足性 逻辑蕴涵 逻辑等价 替换定理 有效性 §3.代入 代入定理 §4.前束范式(PNF) §5.谓词演算的形式推理 §1.谓词 量词 1.谓词与个体 (1)苏格拉底(Socrates) 论断 命题逻辑的基本单位,局限性 苏格拉底(Socrates) 论断: §1.谓词 量词 在形式逻辑里,谓词就是谓语; 在数理逻辑里,个体是关系的定义域中的元素,个体之间的联系就是关系,称为谓词。 §1.谓词 量词 ?一元谓词(unary predicate): 一元谓词是描述一个个体的特征的谓词。通常称为性质 (nature,character,quaility)。 ?二元谓词(binary predicate): 二元谓词是描述两个个体间的联系的谓词。通常称为(二元) 关系((binary)relation)。 ?三元谓词(binary predicate): 三元谓词是描述三个个体间的联系的谓词。通常称为三元关 系(ternary relation)。 ??? ?n元谓词(n-ary predicate): n元谓词是描述n个个体间的联系的谓词。通常称为n元关系 (n-ary relation)。 §1.谓词 量词 (3)形式化方法 ?个体常项符号 : 表示个体常项,解释后为个体。用a,b,c表示。 ?个体变项符号: 表示个体变项,解释后为个体。用x,y,z,u,v,w表示。 ?n元谓词符号: 表示n元谓词,解释后为n元关系。用Pn,Qn,Rn表示。 当n=1时,为命题变项符号。表示命题变项,解释后为命题(即,命题是特殊的谓词)。用p,q,r表示。 当上下文已经指明时,可省略其上标, n元谓词记为P,Q,R。 §1.谓词 量词 ?谓词填式 设t1 , t2 , ? , tn是n个项, P(e1 , e2 , ? , en)是n元谓词P的命名式, 则P(t1 , t2 , ? , tn) 称为谓词填式。 若ti (1?i?n)全是个体常项,则谓词填式P(t1 , t2 , ? , tn)表示命题。 例如 P(a,b,c) 表示一个命题。 若ti (1?i?n)中有k个是个体变项,则谓词填式P(t1 , t2 , ? , tn)表 示k元命题函数。 例如 P(a,x,y) 表示一个二元命题函数。 §1.谓词 量词 (5)形式化举例 例1.如果老张是小张的父亲,则小张是老张的儿子。 解.令:F(e1 , e2) — e1是e2的父亲 S(e1 , e2) — e1是e2的儿子 a—老张 b—小张 形式化: F(a , b)?S(b , a) 。 §1.谓词 量词 例3.如果x+y?0,而y+z?0,则x+z?0。 解.(a)令:G(e1 , e2) — e1+e2?0 形式化: G(x , y)?G(y , z)?G(x , z) 。 (b)令:G(e1 , e2 , e3) — e1+e2? e3 0 — 0 形式化: G(x , y , 0)?G(y , z , 0) ?G(x , z , 0) 。 §1.谓词 量词 2.量词(quantifier) 量词是描述个体域的某些整体性质的词汇。 §1.谓词 量词 例5.(a)令: ?(e)=P(e,a)?Q(e,b),则表达式 ?x?(x)=?x(P(x,a)?Q(x,b)) 表示命题。 (b)令: ?(e)=P(e,a)?Q(e,y)?R(e,z),则表达式 ?x?(x)=?x(P(x,a)?Q(x,y)?R(x,z)) 表示命题函数(新的复合谓词)。 (c )设:?=N={0,1,2,??} 令: G(e1 , e2) — e1?e2 0 — 0, 2 — 2 则表达式 ?xG(0,x)表示真命题;表达式 ?xG
文档评论(0)