什么是谓词？什么是谓词个体及个体域？函数与谓词的区别是什么？
谓词,个体,函数
已帮助 人
-
正确答案：谓词是用于刻画个体的性质、状态或个体间的关系的。而谓词个体则是指可以独立存在的物体它可以是抽象的也可以是具体的。在一个谓词中个体变元的取值范围称为个体域。 谓词和函数从形式上看很相似其实它们有着本质的区别是两个完全不同的概念。谓词具有逻辑值“真”或“假”而函数则是某个个体到另一个个体(按数学上的概念是自变量到因变量)之间的一个映射。
谓词是用于刻画个体的性质、状态或个体间的关系的。而谓词个体则是指可以独立存在的物体,它可以是抽象的,也可以是具体的。在一个谓词中,个体变元的取值范围称为个体域。谓词和函数从形式上看很相似,其实它们有着本质的区别,是两个完全不同的概念。谓词具有逻辑值“真”或“假”,而函数则是某个个体到另一个个体(按数学上的概念是自变量到因变量)之间的一个映射。