Предикат первого порядка

редактировать

В математическая логика, предикат первого порядка - это предикат, который принимает только отдельные константы или переменные. iables в качестве аргумента (ов). Сравните предикат второго порядка и предикат высшего порядка.

Это не следует путать с одноместным предикатом или монадой, которая является предикатом, который принимает только один аргумент. Например, выражение «is a planet» - это одноместный предикат, а выражение «is Father of» - это двузначный предикат .

См. Также

Ссылки

.

Последняя правка сделана 2021-05-20 05:06:13
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте