离散数学及其应用01　数理逻辑.ppt

第 2 章 谓词逻辑－＞2.1个体、谓词和量词 上述句子中，都没有指明个体的取值范围，这便意味着各命题是在全总论域中讨论，因而都使用了特性谓词，如M(x)、S(x)、N(x)。而且还可以看出，量词与特性谓词的搭配还有一定规律，即全称量词后跟一个条件式，而特性谓词作为其前件出现；存在量词后跟一个合取式，特性谓词作为一个合取项出现。 第 2 章 谓词逻辑－＞2.1个体、谓词和量词 谓词前加上了量词，称为谓词的量化。若一个谓词中所有个体变元都量化了，则该谓词就变成了命题。这是因为在谓词被量化后，可以在整个个体域中考虑命题的真值了。这如同数学中的函数f(x)，它的值是不确定的，但可确定其值。 在命题符号化过程中值得强调指出以下几点： 在不同的个体域中，同一命题的符号化形式可能相同，也可能不同。 同一命题，在不同的个体域中的真值可能会有所不同。 A(x)不是命题，但在其前面加上量词后，(?x)A(x)与(?x)A(x)在给定的个体域内就有了确定的真值，也就变成了命题。 第 2 章 谓词逻辑－＞2.2谓词公式与翻译 2.2.1 谓词公式 定义2.2.1 项由下列规则形成： ① 个体常元和个体变元是项； ② 若f是n元函数，且t1，t2，…，tn是项，则f(t1，t2，…，tn)是项； ③ 所有项都由①和②生成。 定义2.2.2 若P(x1，x2，…，xn)是n元谓词，t1，t2，…，