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



Выдержка из книги Тейз А.N. Логический подход к искусственному интеллекту


Такие обороты речи служат примерами предикатных констант. Предикатная константа не меняет своего значения истинности. Она лишь связана с подходящим числом аргументов или параметров, называемых термами. Это число мест зависит только от рассматриваемой предикатной константы. Последняя вместе с подходящим числом термов называется предикатной формой.

(cкачать страницу)

Смотреть книгу на libgen

Такие обороты речи служат примерами предикатных констант.  Предикатная константа не меняет своего значения истинности.  Она лишь связана с подходящим числом аргументов или параметров,  называемых термами.  Это число мест зависит только от рассматриваемой предикатной константы.  Последняя вместе с подходящим числом термов называется предикатной формой.