要注意区分客体函数与谓词间的区别: 设例题1的论域是自然数集合N。 ·客体函数中的客体变元用客体带入后的结果依 然是个客体(3∈N,g(3)=6,所以g(3)∈N ·谓词中的客体变元用确定的客体带入后就变成 了命题,其真值为T或者为F(3∈N,0(3)是 个命题,真值为T) 把它们都看成“映射”的话,则 客体函数是论域到论域的映射,g:N→N,如果 指定的客体a∈N,则g(a)∈N。 而谓词是从论域到{T,F}的映射,即谓词E(x)可 以看成映射E:N→{T,F},如果指定客体a∈N,则 E(a)的真值∈{T,F}。要注意区分客体函数与谓词间的区别: • 设例题1的论域是自然数集合N。 • 客体函数中的客体变元用客体带入后的结果依 然是个客体(3∈N,g(3)=6,所以g(3)∈N)。 • 谓词中的客体变元用确定的客体带入后就变成 了命题,其真值为T或者为F(3∈N, O(3)是 个命题,真值为T)。 • 把它们都看成“映射”的话,则 客体函数是论域到论域的映射,g:N→N,如果 指定的客体a∈N,则g(a)∈N。 而谓词是从论域到{T,F}的映射,即谓词E(x)可 以看成映射E:N→{T,F},如果指定客体a∈N,则 E(a)的真值∈{T,F}