离散数学数理逻辑-西安电子科技大学.PDFVIP

离散数学 西安电子科技大学 软件学院 第一篇 数理逻辑 第2章 谓词逻辑 第7课时 1.1 谓词和量词 第8课时 1.2 谓词公式 第9课时 1.3 谓词公式的翻译 第10课时 1.4 谓词演算的永真公式 第11课时 1.5 谓词演算的四个推理规则 第12课时 1.6 谓词逻辑推理及应用 §2.2.1 谓词公式的定义 西安电子科技大学 软件学院 谓词演算的 原子公式 例如： P(x) P(a) Q(x,y) Q(x,a) 都是谓词演算的原子公式 Q(c,a) T F 西安电子科技大学 §2.2.1 谓词公式的定义 软件学院 谓词公式 例如： P(x) P(x) ∨ Q(y) ( ∃x) Q(x,y) }都是谓词公式 ( ∃y)( ∀x)(Q(x,y) →R(y)) §2.2.1 谓词公式的定义 西安电子科技大学 软件学院 §2.2.2 量词的辖域 西安电子科技大学 软件学院 作用变元 约束变元 自由变元 量词的辖域 §2.2.2 量词的辖域 西安电子科技大学 软件学院 【例题 】说明以下谓词公式中变元的性质及受约束的量词。 （1）(∀x)(P(x) → Q(x)) ∀量词的辖域 x是约束变元 （2）(∀x)(P(x) →( ∃y) R(x,y)) ∃量词的辖域 y是约束变元 ∀量词的辖域 x是约束变元 §2.2.2 量词的辖域 西安电子科技大学