- 1、本文档共43页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[理学]32前束范式谓词推理
discrete math 前束范式 谓词公式的标准化形式: 前束范式prenex normal form(PNF) 前束合取范式 前束析取范式 在定理的机器证明中,需要消除谓词公式中的量词,因而需要将谓词公式中的量词前束化,即把公式中的量词均提取到公式的前部。即前束范式主要是对量词的位置有要求,而对联接词无要求,这一点与命题逻辑不同。 定义: 一个谓词公式,如果它的所有量词均非否定地出现在公式的最前面,且它的辖域作用于整个公式,则称为此为前束范式(prenex normal forms)。即前束范式形如 (Q1x1)(Q2x2)…(Qkxk)B 其中Qi(1≤i≤k)为?或?, xi为客体变元。B为不含有量词的公式。 前束范式的特点是,所有量词均非否定地出现在公式最前面,且它的辖域一直延伸到公式之末。 例如,?x?y?z((P(x,y)?Q(y,z)) ? R(x,y)) 是前束范式。 而?xP(x)??yQ(y),?x(P(x)??yQ(x,y)) 不是前束范式。 前束范式存在定理: :谓词逻辑中任意公式A都有与之等价的前束范式。 转化方法: 1、把条件或双条件联结词转化。 2、利用量词否定等价公式,把否定深入到命题变元和谓词公式的前面。 3、换名。 4、利用量词作用域的扩张和收缩等价式,把量词提到前面。 前束范式例子 求下面公式的前束范式: ????(1)?xF(x)∧┐?xG(x) ????(2) ?xF(x)∨┐?xG(x) 求解前束范式例子(1) 解 (1)?xF(x)∧┐?xG(x) ????????? ?xF(x)∧┐?yG(y) ??(换名规则) ??? ??? ? ?xF(x)∧?y┐G(y) ??(量词否定) ??? ??????x(F(x)∧ ?y┐G(y)) (辖域扩张) ??? ??????x?y(F(x)∧┐G(y)) (辖域扩张) 或者 ??? ???xF(x)∧┐?xG(x) ??? ??? ??xF(x)∧?x┐G(x) ???(量词否定) ? ???? ??x(F(x)∧┐G(x))? (量词分配) 由此可知,(1)中公式的前束范式是不唯一的。 求解前束范式例子(2) (2) ?xF(x)∨┐?xG(x) ? ?? ??xF(x)∨?x┐G(x) ??(量词否定) ???? ??xF(x)∨?y┐G(y) ??(换名规则) ???? ??x(F(x)∨?y┐G(y)) (辖域扩张) ???? ??x?y(F(x)∨┐G(y)) (辖域扩张) 问:(2)的下述求法是否正确? ?????xF(x)∨┐?xG(x) ??????xF(x)∨ ? x┐G(x) ??????x(F(x)∨┐G(x)) 错 例:求以下式的前束范式: (1)?xA(x)→?x B(x) (2)?xA(x)∨?x B(x) (3)?x?y (?z(P(x,z)∧P(y,z))→?z Q(x,y,z)) 解(1)?xA(x)→?x B(x) ? ?x(A(x)→B (x)) 即为所求前束范式。 或?xA(x)→?x B(x) ?┐?xA(x)∨?x B(x) ??x┐A(x)∨?x B(x) ? ?x(┐A(x)∨B(x)) 即为所求前束范式。 或?xA(x)→?x B(x) ??xA(x)→?y B(y) ??x(A(x)→?y B(y)) ??x?y (A(x)→B(y)) 即为所求前束范式。 (2)?xA(x)∨?x B(x) ??xA(x)∨?yB(y) (换名) ??x(A(x)∨?yB(y)) ??x?y (A(x)∨B(y)) (3) ?x?y (?z(P(x,z)∧P(y,z))→?z Q(x,y,z)) ??x?y (┐?z(P(x,z)∧P(y,z))∨?z Q(x,y,z)) ??x?y(?z(┐P(x,z)∨┐P(y,z))∨?z Q(x,y,z)) ??x?y (?z(┐P(x,z)∨┐P(y,z))∨?u Q(x,y,u)) ??x?y ?z?u (┐P(x,z)∨┐P(y,z)∨Q(x,y,u)) (或??x?y ?z?u (P(x,z)∧P(y,z)→Q(x,y,u))) 1、设个体域D=?d1, …
您可能关注的文档
- [理学]20112012网络学院——电动力学总复习.ppt
- [理学]2011-009电泳01.ppt
- [理学]2011C上机实验.doc
- [理学]2010年:第十章不对称合成.ppt
- [理学]2011年数学建模网络挑战赛C题.pdf
- [理学]2011级第六章芳烃[兼容模式].pdf
- [理学]2012会计学原理.ppt
- [理学]2011人口学院--漫谈环境与资源经济学.ppt
- [理学]21n阶行列式的定义.ppt
- [理学]2012年数据库管理系统应用一下.pdf
- 浙江省临海市白云高级中学2025届高三历史3月月考试题.doc
- 云南拾谷县第一中学2024_2025学年高二物理上学期10月月考试题.doc
- 2025版高考生物总复习第13讲基因的分离定律教案苏教版.doc
- 湖北省黄石实验高中2024_2025学年高一历史下学期期末考试模拟卷.doc
- 通史版2025版高考历史大一轮复习专题七近代化的曲折发展__中日甲午战争至五四运动前4第4讲从维新思想到新文化运动课后达标检测含解析新人教版.doc
- 2024年高考数学考试大纲解读专题04导数及其应用含解析文.doc
- 河南省许汝平九校联盟2024_2025学年高一语文上学期期末考试试题扫描版无答案.doc
- 江西省吉安市吉水县第二中学2024_2025学年高一历史上学期第二次月考试题.doc
- 北京市平谷区2025届高三政治一模考试试题含解析.doc
- 2025届中考物理第四讲物态变化专项复习测试无答案新人教版.docx
文档评论(0)