一、函数 　　在谓词逻辑中出现变量, 自然也会考虑引入函数。而函数本身的含义和通常微积分学里的定义是一致的，只须强调的它是某个体域（不必是实数）到另一个体域的映射（严谨的定义见第九章），不同于将个体映射为真假值的谓词。而且函数并不单独使用，是嵌入在谓词中。