问题详情

什么是谓词？什么是谓词个体及个体域？函数与谓词的区别是什么？

请帮忙给出正确答案和分析，谢谢！