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

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

Это не следует путать с одноместным предикатом или монадой, которая является предикатом, принимающим только один аргумент. Например, выражение "is a planet" является одноместным предикатом, в то время как выражение "is father of" является двуместным предикатом .

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

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

• в
• т
• е