西安电子科技大学谓词$2.1.1软件学院一元谓词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 谓词 一元谓词通常用来描述个体的性质，多元谓 词用来描述个体与个体之间的关系。 但是仅有谓词还不能表达这样的命题： “有些城市是大城市” “所有的城市都有医院” 反映了个体域中的个体在 } 谓词函数下的取值特征