离散数学左孝凌版的课件

2.3谓词公式与翻译 一、谓词公式 定义1:n元谓词A(x1,x2...xn) 称为谓词演算的原子公式 定义2:谓词演算的原子谓词公式是合式公式式,可由下述各条组成: ① 原子公式是原子谓词公式是合式公式式。 ② 若A 是原子谓词公式是合式公式式则( A)也是原子谓词公式是合式公式式。 ③ 若A,B是原子谓词公式是合式公式式则(A ∧ B),(A ∨ B),(A B), (A B)也是原子谓词公式是合式公式式。 ④ 若A是原子谓词公式是合式公式式x是A中出现的任何变元 ,则( x)A , ( x)A,也是原子谓词公式是合式公式式。 ⑤ 只有有限次应用(1)~(4)得到的公式是原子谓词公式是合式公式式. 约定：最外层括号可以省略；量词后面如果有括号则不能省略 3