术语“谓词”的起源是指布尔函数？

Question

在Scheme中，使用术语“谓词”as follows：

  

谓词是一个始终返回布尔值（#t或#f）的过程。

为什么方案使用“谓词”来引用这样的函数？如果用法来自以前的语言，那么首先选择这个术语的动机是什么？

Answer 1

嗯，这来自数学逻辑，正如Wikipedia所说，谓词是一阶逻辑中的基本概念。在逻辑的每个“实现”中，谓词都是一个真或假的句子 - 所以它非常适合编程语言。