西安电子科技大学谓词$2.1.1软件学院用于刻画个体的性质或者多个个体间关系的模式称为谓谓词词，通常用大写字母A,B,C...来表示。含有n个变元的谓词称为n元谓词，一个n元谓词后面还带有n个有固定次序的个体变元。例如：一元谓词P(×)：“x是大城市”二元谓词F(x，y)：“x是y的父亲”三元谓词B(x,y,z)：“x介于y和z之间”谓词是一个带有若干个变元的函数，它没有真值。西安电子科技大学 软件学院 谓词 一元谓词P(x)：“x是大城市”， 二元谓词F(x, y)：“x是y的父亲” 三元谓词B(x, y, z)：“x介于y和z之间” 例如： §2.1.1 谓词 谓词是一个带有若干个变元的函数， 它没有真值