离散数学自考第二章.ppt

第二章 谓词逻辑 1 谓词的概念与表示法 2 量词与合式公式 3 谓词演算的等价式与蕴含式 4 前束范式 5 谓词演算的推理理论 2.1 谓词的概念与表示法 在研究命题逻辑中， 原子命题是命题演算中最基本的单位，不再对原子命题进行分解，但原子命题可进一步用客体和谓词两个部分刻画。 定义：可以独立存在的对象称为客体，客体亦称个体，可以是具体事务也可以是抽象的事务。 定义：用以刻划客体的性质或关系的即是谓词。 例：张华是学生，李明是学生。则可把它表示成： 　H:表示“是学生”，j:表示“张华”，m:表示“李明”，则可用下列符号表示上述二个命题：H(j)，H(m)。 1. 命题函数 客体在谓词表达式中可以是任意的名词。例：C—“总是要死的。” j：张三；t：老虎；e：桌子。 则C(j), C(t), C(e)均表达了命题。 在上面的例子中，C：表示“总是要死的”；x：表示变元（客体变元），则C(x)表示“x总是要死的”，则称C(x)为命题函数。 《定义》由一个谓词字母和一个非空的客体变元的集合所组成的表达式，称为命题函数。 讨论定义：（a）若用任何客体去取代客体变元之后，则命题函数就变为命题；（b）命题函数中客体变元的取值范围称为个体域（论述域）。 例：P(x)表示x是质数。这是一个命题函数。其值取决于个体域。 可以将命题函数?命题，有两种方法： a)将x取