一、函数

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