设D是个体域,f:Dn→D是一个映射,其中Dn={(x1,x2,…,xn)|,x1,x2,…xnD}, 谓词 是Dn到{T,F}的映射,__1__ 是Dn到D的映射
设D是个体域,f:Dn→D是一个映射,其中Dn={(x1,x2,…,xn)|,x1,x2,…xnD}, 谓词 是Dn到{T,F}的映射,__1__ 是Dn到D的映射
1
设D是个体域,f:Dn→D是一个映射,其中Dn={(x1,x2,…,xn)|,x1,x2,…xnD}, 谓词 是Dn到{T,F}的映射,__1__ 是Dn到D的映射