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