谓词演算(1-5节)-1.pptVIP

  1. 1、本文档共20页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 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)

jdy261842 + 关注
实名认证
文档贡献者

分享好文档!

1亿VIP精品文档

相关文档