Предикат первого порядка - First-order predicate
В математическая логика, а предикат первого порядка это предикат который принимает в качестве аргумента только отдельные константы или переменные.[1] Сравнивать предикат второго порядка и предикат высшего порядка.
Это не следует путать с одноместный предикат или монада, которая является предикатом, принимающим только один аргумент. Например, выражение «это планета» является однозначным предикатом, а выражение «является отцом» - двузначный предикат.
Смотрите также
Рекомендации
- ^ Полет, Энтони (1984), Философский словарь: второе исправленное издание, Macmillan, стр. 147, ISBN 9780312209230.
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |