西安电子科技大学离散数学软件学院第一篇数理逻辑第2章谓词逻辑V第7课时1.1 谓词和量词→第8课时1.2谓词公式A第9课时1.3谓词公式的翻译→第10课时1.4谓词演算的永真公式第11课时1.5谓词演算的四个推理规则第12课时1.6谓词逻辑推理及应用V
西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第7课时 1.1 谓词和量词 第2章 谓词逻辑 1.4 谓词演算的永真公式 1.2 谓词公式 1.5 谓词演算的四个推理规则 第8课时 第10课时 第11课时 第9课时 1.3 谓词公式的翻译 第12课时 1.6 谓词逻辑推理及应用
西安电子科技大学$2.2.1谓词公式的定义软件学院茶家教家家不含命题联结词的单个谓词A(X1，X2，….，Xn)称为谓词演算的原子公式谓词演算的原子公式。例如： P(x)P(a)Q(x,y)Q(x,a)都是谓词演算的原子公式Q(c,a)TF
西安电子科技大学 软件学院 谓词演算的 原子公式 §2.2.1 谓词公式的定义 例如： P(x) P(a) Q(x,y) Q(x,a) Q(c,a) 都是谓词演算的原子公式 T F
西安电子科技大学谓词公式的定义$2.2.1软件学院办（i）谓词演算的原子公式是谓词公式：谓词公式（i）若A和B是谓词公式，则(-A)(AAB),(AVB),(A一B),(A←B)也是谓词公式;（ii）如果A是谓词公式，X是A中出现的个体变元，则（Vx)A（x)A都是谓词公式：（iv）只有限次应用条款（i）（i）（ii）所得的公式才是谓词公式。例如：P(β)P(×) Q(y)(日x) Q(x,y)都是谓词公式(日y)(Vx)(Q(x,y) →R(y))
西安电子科技大学 谓词公式的定义 软件学院 谓词公式 §2.2.1 例如： P(x) ( ∃x) Q(x,y) ( ∃y)( ∀x)(Q(x,y) →R(y)) 都是谓词公式 } P(x) ∨ Q(y)
西安电子科技大学$2.2.1谓词公式的定义软件学院永家家教茶家教务需要说明的是，要注意条款（ii）的适用条件。例如：由(Vx)P(xy)可以生成(Fy)(Vx)P(x,y)，但不能生成(Vx)(Fy)P(x,y)和(x)(Vx)P(x,y)
西安电子科技大学 §2.2.1 谓词公式的定义 软件学院
西安电子科技大学S2.2.2量词的辖域软件学院家家全称量词或存在量词后所跟的变元称为该量词的作用变元作用变元。在量词Vx或Ix的辖域内变元x的一切出现为约约束变元束出现，称这样的变元x为约束变元。自由变元非约束出现的变元称为自由变元。紧跟在量词之后出现的最小子公式称为该量词的量词的辖域辖域
西安电子科技大学 软件学院 作用变元 量词的辖域 量词的辖域 约束变元 自由变元 §2.2.2