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

1第二章谓词逻辑2-3谓词公式与翻译授课人：李朔Email:chn.nj.ls@

一、谓词公式2简单命题函数与逻辑联结词可以组合成一些命题表达式01与命题公式概念类似，不是所有谓词表达式都可以成为谓词公式并进行谓词演算，下面介绍谓词的合式公式的概念。02谓词演算原子公式：把A(x1,x2,…,xn)称作谓词演算的原子公式（原子谓词公式），其中x1,x2,…,xn是客体变元。因此命题、命题变元、谓词填式和命题函数都是原子谓词公式。03如:Q（可以是命题或命题变元），A(a),A(x,y,z),A(a,y)。04

一、谓词公式3只有有限次地应用⑴、⑵、⑶、⑷所得的公式是合式公式。如果A是合式公式，x是A中出现的任意个体变若A和B是合式公式，则(A∧B)，(A∨B)，原子谓词公式是合式公式。元，则(?x)A，(?x)A是合式公式。(A→B)和(A?B)是合式公式。若A是合式公式，则?A是合式公式。按下列规则构成的表达式称为谓词演算的合式公式，简称谓词公式。

二、命题翻译4谓词公式也有以下约定：最外层的括号可以省略。如果按?、∧、∨、→、?在运算中的优先级别，省略括号后不改变原来的运算次序，可以省略括号，但量词后面括号不能省略。下面举例说明如何用谓词公式表达自然语言中的命题。例题1并非每个实数都是有理数。解：设R(x)：x是实数Q(x)：x是有理数该命题符号化为：?(?x)(R(