Такие обороты речи служат примерами предикатных констант. Предикатная константа не меняет своего значения истинности. Она ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Тейз А.N.
Логический подход к искусственному интеллекту
Такие обороты речи служат примерами предикатных констант. Предикатная константа не меняет своего значения истинности. Она лишь связана с подходящим числом аргументов или параметров, называемых термами. Это число мест зависит только от рассматриваемой предикатной константы. Последняя вместе с подходящим числом термов называется предикатной формой.