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

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

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

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

.