谓词：表示个体的性质、状态或者个体间的关系

eg：A和B结婚，可以用谓词去表示个体A和个体B结婚的这个关系，可以表示成P(A,B)。这里谓词表示的是个体间的关系

再比如A属羊，可以用谓词来表示个体A的性质，可以表示成P（A）。这里谓词表示的是个体的性质

但是这样的表示范围不够广，所以对谓词引入了变量（经常称为变元），比如：P（x）