离散数学知识点总结（2）-谓词逻辑

一、谓词与谓词公式

谓词：表示个体词性质或相互之间关系的词

量词：用来表示个体数量的词是

谓词的量化：给谓词加上量词 

一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形式而非命题

因为既没有指定谓词符号P的含义，而且个体词x、y等也是个体变项而不代表某个具体的事物，从而无法确定P(x)、P(x, y)的真值。 

仅当赋予谓词确定含义，并且个体词取定为个体常项而非个体变项时，命题形式才化为命题。

设A为一个谓词公式，若A在任何解释下真值均为真，则称A为普遍有效的公式/逻辑有效式。例如(∀x) (P(x)∨┐P(x)) 

若A在任何解释下真值均为假，则称A为不可满足的公式/矛盾式，例如(∀x)P(x)∧(∃y) ┐P(y) 

若至少存在一个解释使A为真，则称A为可满足的公式 

Church-Turing定理：对任一谓词公式而言，没有一个可行的方法判明它是否是普遍有效的。即谓词逻辑是不可判定的

但是谓词公式的某些子类是可判定的 

命题公式 p→q 的代换实例：如P(y)→Q(z)、(∀x)P(x)→(∃x)Q(x)般用谓词公式处处代替各个命题变项

命题公式中，重言式的代换实例都是逻辑有效式、矛盾式的代换实例都是矛盾式。 

自然语言形式化

存在唯一的偶素数：∃x(Prime(x)∧Even(x))∧(∀y)(Prime(y)∧Even(y)→Equal(x, y))

G(x)表示x是金子、L(x)表示x会闪光：(∀x)(G(x)→L(x))∧(∃x)(L(x)∧┐G(x))

F(x)表示x是乌鸦、G(x, y)表示x与y一般黑：

(∀x)(∀y)(F(x)∧F(y)→G(x , y))

⟺(∀x)(∀y)(┐(F(x)∧F(y))∨G(x , y))

⟺(∀x)(∀y)┐((F(x)∧F(y))∧┐G(x , y))

⟺(∀x)┐(∃y)((F(x)∧F(y))∧┐G(x , y))

⟺┐(∃x)(∀y)((F(x)∧F(y))∧┐G(x , y))

∃