一、一阶谓词逻辑公式

命题公式 : 基本命题 ( 命题常元/变元 ) 和若干联结词形成有限长度的字符串 ;

① 单个命题变元 / 命题常元是命题公式 ;

② 如果 AAA 是命题公式 , 则 (¬A)(\lnot A)(¬A) 也是命题公式 ;

③ 如果 A,BA,BA,B 是命题公式 , 则 (A∧B),(A∨B),(A→B),(A↔B)(A \land B) , (A \lor B), (A \to B), (A \leftrightarrow B)(A∧B),(A∨B),(A→B),(A↔B) 也是命题公式 ;

④ 有限次应用 ① ② ③ 形成的符号串是命题公式 ; ( 无限次不行 )

一阶谓词逻辑公式 : 在命题公式的基础上 , 加上一条条件 :

如果 AAA 是公式 , 则 ∀xA\forall x A∀xA 和 ∃xA\exist x A∃xA 也是公式

一阶谓词逻辑公式相关概念 : 以 ∀xA\forall x A∀xA , ∃xA\exist x A∃xA 公式为例 ;

指导变元 : ∀,∃\forall , \exist∀,∃ 量词后面的 xxx 称为指导变元

辖域 : AAA 称为对应量词的辖域 ;

约束出现 : 在 ∀x\forall x∀x , ∃x\exist x∃x 辖域 AAA 中 , xxx 出现都是受约束的 , 称为约束出现 ;

自由出现 : 辖域 AAA 中 , 不是约束出现的变元 , 都是自由出现 ;

二、一阶谓词逻辑公式示例

一阶谓词逻辑公式 :

∀x(F(x)→∃y(G(y)∧H(x,y,z)))\forall x ( F(x) \to \exist y ( G(y) \land H(x,y,z) ) )∀x(F(x)→∃y(G(y)∧H(x,y,z)))

公式解读 : 对于所有满足 FFF 性质的 xxx , 都存在满足 GGG 性质的对象 yyy , 使得 x,y,zx,y,zx,y,z 满足关系 HHH ;

∀x\forall x∀x 的辖域是 (F(x)→∃y(G(y)∧H(x,y,z)))( F(x) \to \exist y ( G(y) \land H(x,y,z) ) )(F(x)→∃y(G(y)∧H(x,y,z)))

∃y\exist y∃y 的辖域是 (G(y)∧H(x,y,z)))( G(y) \land H(x,y,z) ) )(G(y)∧H(x,y,z)))

x,yx , yx,y 在量词后面 , 是指导变元 , 是约束出现的变元 ;

zzz 没有在量词后面 , 是自由出现的变元 ;

指导变元类似于程序中预先定义的变量/参数 , 自由出现的变元相当于程序中的临时变量 ,

【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )相关推荐

【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
文章目录一. 判断谓词逻辑公式真假 ( 语义 ) 二. 谓词逻辑 "解释" 三. 谓词逻辑 "解释" 示例四. 谓词逻辑公式类型一. 判断谓词逻辑公式真假 ...
AI基础——一阶谓词逻辑表示法
一阶谓词逻辑表示法以数理逻辑为基础,是一种重要的知识表示方法. 知识的谓词逻辑表示方法谓词公式, 用谓词联接符号将一些谓词链接起来所形成的公式. 利用谓词公式既可以表示事物的状态.属性和概念等事实性 ...
迷宫寻路问题——一阶谓词逻辑
迷宫寻路问题--一阶谓词逻辑迷宫寻路问题是人工智能中的有趣问题,如何表示状态空间和搜索路径是寻路问题的重点,本文的主要内容是一阶谓词逻辑的理解和应用,首先对基本知识和算法思想进行了解,再通过其对迷宫 ...
语言谓词函数isprime_G?del完备性定理 —— 一阶谓词逻辑演绎系统 Part II
本文使用 Zhihu On VSCode 创作并发布各位朋友七夕快乐! 上一篇文章Gödel完备性定理 -- 一阶谓词逻辑演绎系统 Part I中笔者介绍了一阶谓词逻辑的语言和演绎系统,并粗略讨论了 ...
离散数学1.3一阶谓词逻辑
1.一阶谓词逻辑中量词只能作用在个体词上,二阶逻辑可以作用在谓词上. 2.命题公式通过赋值01来判断真假,一个公式A需要通过解释来判断真假,一个公式可以有多种解释, 公式里的个体可以赋予不同的个体,里 ...
一阶低通滤波器方程_一阶低通滤波器_一阶低通滤波器公式_一阶低通滤波器原理...
滤波电路又称为滤波器,是一种选频电路,能够使特定频率范围的信号通过,而使其它频率的信号大大衰减即阻止其通过.按其工作频率范围的不同,滤波电路可分为低通滤波器.高通滤波器.带通滤波器.带阻滤波器和全通滤 ...
pto oracle,Oracle HRMS Payroll fast formula PTO 公式示例
Oracle HRMS Payroll fast formula PTO 公式示例下面为公式示例, 大家请注意, 这个公式的主要计算逻辑在第二部分的 PKG中. /* --------------- ...
【数理逻辑四】谓词逻辑及形式系统【上】
谓词逻辑及形式系统(句法)[上] 一.简介 [谓词逻辑]是所有逻辑学的中心内容,包括亚里士多德的三段论(虽然那时谓词逻辑还没有产生).弗雷格的谓词逻辑.以及后来的数理逻辑三大流派都是围绕[谓词逻辑]展 ...
【数理逻辑四】谓词逻辑及形式系统【下】
谓词逻辑及形式系统 [下] 一.谓词逻辑的逻辑等价与逻辑蕴含一个谓词公式想变为命题,具有确定真值.必须满足以下几个条件 ① 给定个体域(确定模型) ② 公式中的所有谓词都有明确意义(确定解释函数) ...

【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )

文章目录

一、一阶谓词逻辑公式

二、一阶谓词逻辑公式示例

【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )相关推荐

最新文章

热门文章

【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )

文章目录

一、 一阶谓词逻辑公式

二、 一阶谓词逻辑公式 示例

【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )相关推荐

最新文章

热门文章

一、一阶谓词逻辑公式

二、一阶谓词逻辑公式示例