22.1一阶谓词逻辑表示的逻辑学基础 论域和谓词(2/2) ●函数: 定义2-3 设D是个体域,f:D"→D是一个映射,其中 D"={( ∈D ●则称f是D上的一个n元函数,记作 f(x1,x2,…,x ●谓词与函数的区别: 谓词是D到{T,F的映射,函数是D到D的映射 谓词的真值是T和F,函数的值(无真值)是D中的元素 谓词可独立存在,函数只能作为谓词的个体⚫ 函数： ⚫ 定义2-3 ⚫ 设D是个体域，f：D n→D是一个映射，其中 ⚫ 则称f是D上的一个n元函数，记作 ⚫ f(x1,x2,…,xn) ⚫ 谓词与函数的区别： ⚫ 谓词是D到{T，F}的映射，函数是D到D的映射 ⚫ 谓词的真值是T和F，函数的值（无真值）是D中的元素 ⚫ 谓词可独立存在，函数只能作为谓词的个体 {( , , , ) | , , , } D x1 x2 xn x1 x2 xn D n =    12