前面说到了谓词逻辑的一些等价关系:
1.(a) ┐∀xΦ⇔∃x┐Φ
(b) ┐∃xΦ⇔∀x┐Φ
2.假设x在Ψ中不是自由的,那么:
(a)∀xΦ∧Ψ⇔∀x(Φ∧Ψ)
(b)∀xΦ∨Ψ⇔∀x(Φ∨Ψ)
(c)∃xΦ∧Ψ⇔∃x(Φ∧Ψ)
(d)∃xΦ∨Ψ⇔∃x(Φ∨Ψ)
(e)∀x(Ψ→Φ)⇔Ψ→∀xΦ
(f) ∃x(Φ→Ψ)⇔∀xΦ→Ψ
(g)∀x(Φ→Ψ)⇔∃xΦ→Ψ
(h)∃x(Ψ→Φ)⇔Ψ→∃xΦ
3.(a)∀xΦ∧∀xΨ⇔∀x(Φ∧Ψ)
(b)∃xΦ∨∃xΨ⇔∃x(Φ∨Ψ)
4.(a)∀x∀yΦ⇔∀y∀xΦ
(b)∃x∃yΦ⇔∃y∃xΦ
现在来证明其中的一些,需要用到之前的命题逻辑演算规则和量词证明规则。
先来看证明的思路:证明相继式┐∀xP(x)├ ∃x┐p(x)的有效性
这个过程比较简单:先假设相继式右边不成立(第2行),然后对一个任意变量x0假设p(x0)不成立,则得出存在一个x使得p(x)不成立(第5行,这个x起码可以是x0),但和第2行的结论冲突了,所以第4行的假设不靠谱,必须有p(x0)成立(第7行)。既然x0是任意的,那么对于所有x有P(x)成立(第8行)。但这和我们的前提冲突了,所以我们最初的假设是错误的。证明完毕。
看明白了吧,接下来我们主要这样进行证明。
要证明一个等价关系,需要分别证明左边能推导出右边和右边能推导出左边。
一、证明┐∀xΦ├ ∃x┐Φ的有效性,这个和上面的过程完全一致
证明逆∃x┐Φ├ ┐∀xΦ的有效性
这个更简单些。不过如果不熟悉全称消去规则需要回到上一篇看看。
这样我们证明了第一个等价规则:┐∀xΦ⇔∃x┐Φ。
二、证明∀xΦ∧Ψ├ ∀x(Φ∧Ψ)的有效性(注意条件:x在Ψ中不是自由的)
由于x在Ψ中不是自由的,进行代换时并不处理Ψ,因此第6行和第5行是一样的。
证明∀x(Φ∧Ψ)├ ∀xΦ∧Ψ的有效性:
三、证明矢列∃xΦ∨∃xΨ├∃x(Φ∨Ψ)
证明矢列∃xΦ∨∃xΨ-|∃x(Φ∨Ψ)
其余等价关系类似,有兴趣可以自己尝试一下。
相关推荐
加深对归结原理进行定理证明过程的理解,掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节,进一步了解实 现机器自动定理证明的步骤。 采用C++
人工智能课件,关于谓词逻辑与归结原理,在学习了离散数学的基础上,进一步深入的学习谓词逻辑,掌握人工智能的初步知识
人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ,可以帮助广大学子进一步学习人工智能的相关知识。
对命题逻辑和谓词逻辑的核心归纳可以做到一目了然
谓词逻辑离散数学
命题逻辑与谓词逻辑PPT课件.pptx
人工智能的实验题目。输入一组合适公式,以及一个目标子句,输出归结树。 我奋斗了几乎5天总算弄出来了,放过bin出来show一下^_^。 至于代码,想要的可以联系我。 这里给出一个测试用例吧: ;假设:所有不贫穷且...
谓词逻辑推理,人工智能的基本理论,为人工智能系统的开发奠定了一定的理论基础
用于人工智能的学习,内容全面,人工智能 谓词逻辑
第 2 章谓词逻辑命题逻辑对于反映在自然语言中的逻辑思维进行了精确的形式化描述,能够对一些比较复杂的逻辑推理,用形式化方法进行分析。在命题逻辑中,把命题分解到原
离散数学 谓词逻辑 PPT 基础 有用 好好学习
东北大学 离散数学课件 谓词逻辑 保证很详细哦
离散数学 谓词逻辑 习题课PPT课件.pptx
课件主要简介离散数学的谓词逻辑,帮助我们更好理解这章内容,除此之外,也使学生从逻辑的角度了解数学
第2章(知识表示方法3-谓词逻辑)
人工智能课件:第三章 谓词逻辑与搜索原理.pdf
人工智能导论课件:第四章 谓词逻辑与归结原理.ppt
一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。
这是我的文章的第三章的第二节,因为有公式没法发,直接放这里了。
在Ls中,把命题分解到原子命题为止,认为原子命题是不能再分解的,仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样,有些推理用命题逻辑就难以确切地表示出来。