Происхождение термина «предикат» для обозначения логической функции?

Question

В схеме термин «предикат» используется следующим образом :

Предикат - это процедура, которая всегда возвращает логическое значение (#t или #f).

Почему схема использует предикат для ссылки на такую ​​функцию? И если использование происходит от предыдущего языка, что было мотивом для выбора этого термина в первую очередь?

Answer 1

Ну, это происходит из математической логики, как говорит Википедия , предикат является фундаментальным понятием в логике первого порядка.В каждой «реализации» логики предикат - это предложение, которое является либо истинным, либо ложным, поэтому оно очень хорошо вписывается в языки программирования.