谓词的概念与表示 谓词填式:把谓词字母后填以客体 所得式子称为谓词填式,谓词和谓 词填式是两个不同的概念,谓词不 是命题,而谓词填式是命题。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 谓词填式：把谓词字母后填以客体 所得式子称为谓词填式，谓词和谓 词填式是两个不同的概念，谓词不 是命题，而谓词填式是命题。 谓词的概念与表示
谓词的概念与表示 表示具体或特定的个体词称为个体常量,一般 个体词常量用带或不带下标的小写英文字 母ab,C……a1,a2a3,…表示。 表示抽象的或泛指的个体词称为个体变量, 般用带或不带下标的小写英文字 xy1zxyx1x2x3,表示。 个体词的取值范围称为个体域或论域,常用D 表示。而宇宙间的所有个体域聚集在一起 所构成的个体域称为全总个体域。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 表示具体或特定的个体词称为个体常量，一般 个体词常量用带或不带下标的小写英文字 母a,b,C,……,a1,a2,a3.,……表示。 表示抽象的或泛指的个体词称为个体变量，一 般用带或不带下标的小写英文字 x,y,z,.…,x1,x2,x3,……表示。 个体词的取值范围称为个体域或论域，常用D 表示。而宇宙间的所有个体域聚集在一起 所构成的个体域称为全总个体域。 谓词的概念与表示
谓词的概念与表示 设有如下命题: P:5是一个实数。 Q:3大于2。 R:点A位于点B和点C之间 S:王同高于李浩。 解:设有如下谓词: R(x):x是一个实数。 G(x,y):x大于y。 B(x,y,z):点x位于点y和点z之间 H(x,y):x高于y 并设a1表示A,a2表示B,a3表示C;a表示王同,b表示李浩 则上述四个命题可表示如下: P:R(5) Q:G(3,2); R:B(a1,a2,a3); S:H(a,b)。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 设有如下命题： P：5是一个实数。 Q：3大于2。 R：点A位于点B和点C之间。 S：王同高于李浩。 解：设有如下谓词： R(x)：x是一个实数。 G(x,y)：x大于y。 B(x,y,z)：点x位于点y和点z之间。 H(x,y)：x高于y。 并设a1表示A,a2表示B,a3表示C；a表示王同，b表示李浩。 则上述四个命题可表示如下： P：R(5)； Q:G(3,2)； R:B(a1,a2,a3)； S:H(a,b)。 谓词的概念与表示
谓词的概念与表示 几个结论: 1)谓词中个体词的顺序是十分重要的,不能 随意变更 2)一元谓词用以描述某一个个体的某种特性 或性质,而n元谓词则用以描述n个个体之 间的关系 3)0元谓词(不含个体词的)实际上就是一般 的命题。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 几个结论： 1) 谓词中个体词的顺序是十分重要的，不能 随意变更。 2) 一元谓词用以描述某一个个体的某种特性 或性质，而n元谓词则用以描述n个个体之 间的关系。 3) 0元谓词(不含个体词的)实际上就是一般 的命题。 谓词的概念与表示
2-2命题函数与量词 命题函数 定义由一个谓词,一些客体变元组成的表 达式称为简单命题函数 可见,n元谓词就是有n个客体变元的命题函 数,当n=0时,称为o元谓词,其本身就是 个命题,n=1时,称为一元谓词。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 一、命题函数 定义 由一个谓词，一些客体变元组成的表 达式称为简单命题函数 可见，n元谓词就是有n个客体变元的命题函 数，当n=0时，称为o元谓词，其本身就是 一个命题，n=1时，称为一元谓词。 2－2 命题函数与量词