离散数学-2-3谓词公式与翻译.pptxVIP

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