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