413谓词的定义 口谓词视作为二个个烋的性质或多个个体间的关系。进 上的一个映射 口举例 如P(x)其中x∈D,而P(x)的取值为T或F 妥妞层晶的2谭闾 YELLOW≌OuSE)表示 借助于谓词的抽象定义,也可用二元谓词ALUE( COLOR HOUSE来 题 VALUE就是个体到TF}的映射, 不一定有什么! 话含 仅当个体 COLOR取值为黄色的, HOUSE取值为房子时 ALUE取值为T4.1.3 谓词的定义  谓词视作为一个个体的性质或多个个体间的关系。进 一步抽象地定义，谓词是给定的个体域到集合{T，F} 上的一个映射  举例 ◼ 如P(x)其中xD，而P(x)的取值为T或F． ◼ 又如“房子是黄色的”可由谓词 YELLOW(HOUSE) 表示. 当HOUSE取值为房子又是黄色的，该命题方为真． ◼ 借助于谓词的抽象定义，也可用二元谓词 VALUE(COLOR, HOUSE) 来描述这命题. VALUE就是个体到{T, F}的映射， 不一定有什么具体含义 仅当个体COLOR取值为黄色的，HOUSE取值为房子时 VALUE取值为T