谓词逻辑可以表达： 1，个体的种类（归纳定义） （x是一个人，P(x | 古典音乐与哲学

谓词逻辑可以表达：

1，个体的种类（归纳定义）
（x是一个人，P(x)）

2，个体的性质
（x是红色的，Rot(x))

3，个体之间的关系
（x大于y, Größer(x,y))