离散数学23谓词公式和翻译.pptVIP

* * 第二章谓词逻辑 2-3 谓词公式与翻译 授课人：李朔 Email:chn.nj.ls@ 一、谓词公式 简单命题函数与逻辑联结词可以组合成一些命题表达式 与命题公式概念类似，不是所有谓词表达式都可以成为谓词公式并进行谓词演算，下面介绍谓词的合式公式的概念。 谓词演算原子公式：把A(x1,x2,…,xn)称作谓词演算的原子公式（原子谓词公式），其中x1,x2,…,xn是客体变元。因此命题、命题变元、谓词填式和命题函数都是原子谓词公式。 如:Q（可以是命题或命题变元），A(a), A(x,y,z), A(a,y)。 一、谓词公式 定义2.2.1按下列规则构成的表达式称为谓词演算的合式公式，简称谓词公式。 ⑴ 原子谓词公式是合式公式。 ⑵ 若A是合式公式，则?A是合式公式。 ⑶ 若A和B是合式公式，则(A∧B)，(A∨B)， (A→B)和(A?B)是合式公式。 ⑷ 如果A是合式公式，x是A中出现的任意个体变 元，则(?x)A，(?x)A是合式公式。 ⑸ 只有有限次地应用⑴、⑵、⑶、⑷所得的公式是合式公式。 二、命题翻译 谓词公式也有以下约定： ⑴ 最外层的括号可以省略。 ⑵ 如果按?、∧、∨、→、?在运算中的优先级别，省略括号后不改变原来的运算次序，可以省略括号，但量词后面括号不能省略。 下面举例说明如何用谓词公式