一、谓词
个体概念
个体词:表示一个对象
个体常量:表示具体或特定的个体词,a,b……a1,b1……
个体变量:表示抽象的或泛指的个体词x,y……x1,y1……
个体域:个体词的取值范围,使用D表示
全总个体域:与中间的所有个体域聚集在一起所构成的个体域。若无特殊说明一般使用全总个体域
谓词概念
谓词:设D为非空的个体域,定义在Dn上(n个个体都在个体域D上 取值)上取值于{0,1}的n元函数,称为n元命题函数或n元谓词,记为P(x1,x2……xn)
谓词常量:表示具体性质或关系的谓词
谓词变量:表示抽象或泛指性质或关系的谓词
谓词说明
- 谓词中个体词的顺序不能随意改变
- 1元谓词用以表述某一个个体的某种性质,n元谓词表示n个个个体之间的关系
- 谓词本身不是命题,0元谓词是命题,常量谓词和个体常量的组合也是命题
二、量词
全称量词 (∀x):所有的x;任意的x,一切的x……
存在量词(∃x):有些x;至少有一个x;某些x……
量词的辖域:后面有有括号就是括号内,没有括号就是紧跟的谓词
全称量词 (∀x)在蕴涵式前件使用,存在量词(∃x)在合取式的合取项中使用
个体域有限时全程量词可以视为各个体常量取值的合取,存在量词可以视为析取
三、谓词公式
常量符号:指所属个体域D中的某个元素,小写英文字母表示
变量符号:指所属个体域D中的任意元素,小写英文字母表示
函数符号:n元函数符号f(x1,x2……xn)可以是所属个体域集合(值域是个体域)的任意一个函数,用小写英文字母表示
谓词符号:n元谓词符号P(x1,x2……xn)可以是所属个体域集合(值域是{0,1})的任意一个谓词,大写英文字母表示
项:有限次的任意常量符号、任意变量符号、f(t1,t2……tn)产生的符号串
原子谓词公式(原子公式):定义t1,t2……tn为项,P(t1,t2……tn)为原子谓词公式
合式公式:有限次使用有限个联结词连接的原子公式P(t1,t2……tn)及有限个量词组成的符号串
四、变元
如果变元x出现在使用变元的量词辖域之内,则称变元x的出现为约束出现,此时x为约束变元。否则x是自由变元。
约束变元改名规则
将两次种的变元以及改量词辖域种所以约束出现的此变元都修改为新的个体变元。
新的变元要有别于该辖域种的所有其它变元
自由变元改名规则
将公式种出现该自由变元的每一处都替换为新的个体变元
新的变元不允许在原公式种以任何约束形式出现。可以使用个体常量带入
无自由变元的是封闭的合式公式,简称闭式
闭式是命题
五、解释
谓词逻辑种公式G的解释I由四部分组成:
- 非空的个体域集合D
- G中的每个常量符号,指定D中的某个特定元素
- G中的每个n元函数符号,指定Dn到D中的某个特定函数
- G中的每个n元谓词符号,指定Dn到{0,1}中的某个特定谓词
如果公式G在它所有的解释下都取值为真,称G为有效公式
如果公式G在它所有的解释下都取值为假,称G为矛盾公式
如果公式G至少有一种解释使都取值为真,称G为可满足公式
谓词逻辑不可判定
只含有一元谓词的公式是可判定的
P中无量词和其它自由变元也是可判定的
个体域有限的谓词公式可判定
六、公式等价
如果公式G↔H是有效公式,则G,H等价,记为G=H
命题中提出的等价公式依旧适用(【离散数学】命题中四、集合的运算定律)
改名规则 | (∃x)G(x)=(∃y)G(y) (∀x)G(x)=(∀y)G(y) |
量词转换律/量词否定等价式 | ¬(∃x)G(x)=(∀x)¬G(x) ¬(∀x)G(x)=(∃x)¬G(x) |
量词辖域的扩张和收缩律 | (∀x)(G(x)∨S)=(∀x)G(x)∨S (∀x)(G(x)∧S)=(∀x)G(x)∧S (∃x)(G(x)∨S)=(∃x)G(x)∨S (∃x)(G(x)∧S)=(∃x)G(x)∧S |
量词分配律 | (∀x)(G(x)∧H(x)) = (∀x)G(x)∧(∀x)H(x) (∃x)(G(x)∨H(x)) = (∃x)G(x)∨(∃x)H(x) |
(∀x)G(x)∨(∀x)H(x)= (∀x)(∀y)(G(x)∨H(y)) (∃x)G(x)∧(∃x)H(x)=(∃x)(∃y)(G(x)∧H(y)) | |
(∀x)(∀y)G(x,y)=(∀y)(∀x)G(x,y) (∃x)(∃y)G(x,y)=(∃y)(∃x)G(x,y) |
七、前束范式
前束范式:公式G的量词都在最前端,并且量词的辖域眼神到公式末端
前束范式与原公式等价
构造前束范式步骤
- 消去→、↔联结词
- 将所有¬内移到原子谓词公式的前端
- 提量词到最前端并保证辖域范围
八、推理
命题中提出的推理公式依旧适用(【离散数学】命题中六、推理)
(∀x)G(x)⇒(∃x)G(x) | |
(∀x)G(x)∨(∀x)H(x)⇒ (∀x)(G(x)∨H(x)) (∃x)G(x)∧(∃x)H(x)⇒(∃x)(G(x)∧H(x)) | |
(∀x)(G(x)→H(x))⇒(∀x)G(x)→(∀x)H(x) (∀x)(G(x)→H(x))⇒(∃x)G(x)→(∃x)H(x) |
推理规则
US(全称特指规则)---消去全称量词
- (∀x)G(x)⇒G(y) y不在G(x)中约束出现
- (∀x)G(x)⇒G(c) c为任意个体常量
ES(存在特指规则)---消去存在量词
- (∃x)G(x)⇒G(c) c为使得G(c)为真的特定个体常量
- 当G(x)中还有除x之外的自由变元,则必须用关于这些变元的函数符号来取代c
UG(全程推广规则)---引入全称量词
- G(y)⇒(∀x)G(x),G(y)中无变元x
EG(存在推广规则)---引入存在量词
- G(c)⇒(∃x)G(x) c为特定个体常量
- G(y)⇒(∃x)G(x) G(y)中无变元c