例1(3) (3)x与y的和等于z(xr,"y,z是确定的数) 解体 、y、3 谓词:…与…和等于… 个体:x、z 谓词:…与y和等于…,等 个体:y 谓词:x与…和等于z,等 谓词可以单个个体的性质,也可以表示二个个体词 之间的关系或性质,分别称为一元谓词和二元谓词 表示n个个体间的关系或性质的谓词称为η元谓词
1(3) (3) x y z (x, y, z ). : : x ❇y ❇z :✲✲✲ : x ❇z :✲ y ✲ , : y : x✲ z, ❈, ❈ ❉❋❊ ●❍, ✕❊. ❉n ●❍n . 8
例1(4) (4)丌的平方是非负的 T 谓词:…的平方是非负的 个体:m的平方 谓词:…是非负的 m的平方”是一个”复合”个体,需要再分解。 个体:丌 函词:…的平方 元函词 词:…是非负的 9
1(4) (4) π . : : π :✲ : π :✲ ” π ” ■ ” ” , ❏ : π :✲✙ :✲ 9