前束范式和谓词演算的推理理论 |
您所在的位置:网站首页 › 前束析取范式和前束合取范式转换的区别 › 前束范式和谓词演算的推理理论 |
前束范式
定义
如果一个谓词公式符合下面条件,他就是前束范式 所有量词前面都没有联接词所有量词都在公式的左面所有量词的辖域都延伸到公式的末尾 求前束范式的步骤1)小区公式中的联接词->和(为了便于量词辖域的扩充) 2)如果量词前由“!”,用量词转化律将“!”后移。 3)用约束变元的改名规则或自由变元的带入规则对变元换名(为量词辖域扩充做准备) 4)用量词辖域扩充公式提取两次,使之称为前束范式的形式 谓词演算的推理理论(一)推理方法:直接推理、条件论证、反证法 所用公式:基础等价公式,基础重言蕴含公式 推理规则:P、T、US、ES、EG、UG、CP、反证法以及其他一些规则 US、ES、EG、UG规则用于处理量词。因为推理时要使用不含量词的命题公式,所以用US、ES规则脱掉量词如果结论中有量词,海拔量词添上,EG、UG规则用于添加量词 一、全称特指规则US形式: ∀ xA(x) => A© (其中c时个体域内任意指定个体) 含义:如果 ∀ xA(x)为真,则对个体域内任意指定个体c,有A©为真。 作用去掉全称量词 二、存在特指规则ES形式: ∃ xA(x)=>A© (其中,c是个体域内使A©为T的某个个体) 含义:如果 ∃ xA(x)为真,则在个体域内一定有某个体c,使得A©为真 作用:去掉存在量词 要求,用ES指定的个体c,不应该是在此之前用US规则或者用ES规则指定过的个体 三、存在推广规则EGG(c)=>(∃x)G(x),其中c为特定个体变量 四、全称推广规则UGG(y)=>(∀x)G(x),其中G(y)中无自由变元x 谓词演算的推理理论(二)注意:置换定律:A是一个命题公式,X是A的子公式,如果XY,用Y代替A中的X得到公式B,则AB 去量词时,该两次必须是公式最左边的量词,即该量词的前边无任何符号,并且他的辖域作用到公式末尾 添加量词时,也要加在公式的最左边,即新加的量词前无任何符号,并且其辖域也要作用到公式的末尾。 |
今日新闻 |
点击排行 |
|
推荐新闻 |
图片新闻 |
|
专题文章 |
CopyRight 2018-2019 实验室设备网 版权所有 win10的实时保护怎么永久关闭 |