离散数学1.3一阶谓词逻辑

1、一阶谓词逻辑中量词只能作用在个体词上，二阶逻辑可以作用在谓词上。
2、命题公式通过赋值01来判断真假，一个公式A需要通过解释来判断真假，一个公式可以有多种解释，
公式里的个体可以赋予不同的个体，里面的谓词可以赋予不同的性质和关系，还可以用不同的个体域来解释量词，所以一个给定的公式可以有多种解释。有了解释就可以分公式的类型了，公式分可满足式，永真式，矛盾式，等值式。
3、如果个体域是有限的，那么不通过量词也可以表达公式的意思。当个体域是无限的，那就需要量词，因为我们规定公式是有限长的，当个体域是无限的，就不能通过枚举来表达公式了。
等值式子:
1、去掉量词（有限）
2、量词的否定
3、量词辖域的收缩和扩张

]

1、通过考虑B的两种情况可以证明:
首先该公式成立的前提条件是B不包含x
如果B=0那么B在两端都不起作用，如果B = 1那么右边始终为真，左边对于每个x，式子都为真，所以总共为真。从左端到右端叫收缩，从右端到左端叫扩张，因为原来B在外面，现在在里面去了。
3、7为什么是这样呢？首先将括号里面通过蕴含等值式子去掉蕴含符号，然后将任何量词放进去，再利用量词否定和蕴含等值式子，可以得到右边的式子。
与7形成对照的是第四个等值式子，如果B在前面，那么全称量词就会变。

为什么是这样的呢？因为对于所有的x同时具有A和B两个性质，等价于所有x具有A性质并且所有x具有B性质。对于或而言，对于所有x要么具有A性质要么具有B性质，右边所有x具有A性质或所有x具有B性质，右边成立，左边必然成立，但是左边成立右边不一定成立。
对于偶数奇数，对于左端为真，右端为假，两边不等值，所以对与不成立。
(2)还用偶数奇数解释，对于与，左边存在x自然数，要么是偶数要么是奇数，右边存在x自然数是偶数，并且存在x自然数是奇数，右边是对的，左边是错的。

为什么要用换名规则，因为全称量词对或没有分配律，所以不能直接将全程量词提出去。
第三行把G(z, y)当作B，第四行，把F(x)当作B；
可见前束范式是不唯一的，因为我们也可以对第一个x换成z。

注意是推理定律，不是等值式

离散数学1.3一阶谓词逻辑相关推荐

离散数学第二章一阶谓词逻辑
目录 2.1 量词化逻辑 2.1.1 三个定义 2.2 谓词公式及其赋值 2.3 谓词公式的等价与范式等价 2.4 谓词公式的蕴涵 2.4.1 谓词演算中的蕴涵式(重中之重!!!) 2.5 谓词逻辑的 ...
语言谓词函数isprime_G?del完备性定理 —— 一阶谓词逻辑演绎系统 Part II
本文使用 Zhihu On VSCode 创作并发布各位朋友七夕快乐! 上一篇文章Gödel完备性定理 -- 一阶谓词逻辑演绎系统 Part I中笔者介绍了一阶谓词逻辑的语言和演绎系统,并粗略讨论了 ...
AI基础——一阶谓词逻辑表示法
一阶谓词逻辑表示法以数理逻辑为基础,是一种重要的知识表示方法. 知识的谓词逻辑表示方法谓词公式, 用谓词联接符号将一些谓词链接起来所形成的公式. 利用谓词公式既可以表示事物的状态.属性和概念等事实性 ...
【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )
文章目录一. 一阶谓词逻辑公式二. 一阶谓词逻辑公式示例上一篇博客 : [数理逻辑]谓词逻辑 ( 个体词 | 个体域 | 谓词 | 全称量词 | 存在量词 | 谓词公式 | 习题 ) 一. 一 ...
【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
文章目录一. 判断谓词逻辑公式真假 ( 语义 ) 二. 谓词逻辑 "解释" 三. 谓词逻辑 "解释" 示例四. 谓词逻辑公式类型一. 判断谓词逻辑公式真假 ...
迷宫寻路问题——一阶谓词逻辑
迷宫寻路问题--一阶谓词逻辑迷宫寻路问题是人工智能中的有趣问题,如何表示状态空间和搜索路径是寻路问题的重点,本文的主要内容是一阶谓词逻辑的理解和应用,首先对基本知识和算法思想进行了解,再通过其对迷宫 ...
离散数学学习笔记----一阶逻辑等值演算与推理
一阶逻辑等值演算与推理一阶逻辑中的基本等值式: 第一组:16组等值式给出的代换实例都是一阶逻辑的等值式. 第二组: 量词否等等值式 ¬∀xA(x)⇔∃x¬A(x)\neg \forall xA(x) ...
离散数学期末复习（谓词逻辑、集合、关系、函数、图、欧拉图与哈密顿图）
文章目录前言谓词逻辑命题符号化析取.合取范式前束范式 1.使用换名规则: 2.分配律 3.蕴含等值式(p->q) 例题1 例题2 构造推理证明 9条推理定律全称量词与存在量词的添 ...
离散数学【笔记】{谓词逻辑、公式的解释、等价关系、前束范式、推理形式和推理规则、综合推理方法}
公式的解释公式的解释和真值公式的分类公式的判定问题等价谓词演算中的基本等价公式其中,第4条量词分配律,任意只能是合取,而存在只能是析取前束范式前束范式的求解步骤推理形式推理规律 ...

离散数学1.3一阶谓词逻辑

离散数学1.3一阶谓词逻辑相关推荐

最新文章

热门文章