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

问题描述

| 在方案中，术语“谓词”的用法如下：   谓词是始终返回布尔值（#t或#f）的过程。 为什么方案使用“谓词”来指代这样的功能？如果使用的语言是以前的语言，那么首先选择此术语的动机是什么？     

解决方法

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