离散数学-谓词逻辑.pdfVIP

第二章 谓词逻辑 2 -1.1 客体与客体变元 • 定义：能够独立存在的事物，称之为客体，也称之为个体。它可以是具体的，也以是抽象的事物。 通常用小写英文字母 a、b、c、...表示。例如，小张、小李、8、a、沈阳、社会主义等等都是客体。 • 定义：用小写英文字母 x、y、z...表示任何客体，则称这些字母为客体变元。 注意：客体变元本身不是客体 2 -1.2 谓词 • 定义：一个大写英文字母后边有括号，括号内是若干个客体变元，用以表示客体的属性或者客体 之间的关系，称之为谓词。如果括号内有 n 个客体变元，称该谓词为 n 元谓词。例如 ： S(x):表示 x 是大学生。 一元谓词 G(x,y) ：表示xy。 二元谓词 B(x,y,z) ：表示x 在 y 与 z 之间。三元谓词 一般地 P(x ,x ,…,x ) 是 n 元谓词。 1 2 n 2 -1.3 命题函数 • 谓词本身并不是命题，只有谓词的括号内填入足够的客体，才变成命题。 • 例如， a 表示小张，b 表示小李，则 S(a):小张是大学生