Предикат первого порядка - First-order predicate

В математическая логика, а предикат первого порядка это предикат который принимает в качестве аргумента только отдельные константы или переменные.^[1] Сравнивать предикат второго порядка и предикат высшего порядка.

Это не следует путать с одноместный предикат или монада, которая является предикатом, принимающим только один аргумент. Например, выражение «это планета» является однозначным предикатом, а выражение «является отцом» - двузначный предикат.

Смотрите также

• Исчисление предикатов первого порядка
• Монадическое исчисление предикатов

Рекомендации

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.