Предикат

---

Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. В лингвистике субъекту соответствует подлежащее, а предикату — сказуемое.

Предикат в программировании — выражение, использующее одну или более величину с результатом логического типа.

Предика́т (${\displaystyle n}$-местный, или ${\displaystyle n}$-арный) — это функция с множеством значений ${\displaystyle \{0,1\}}$ (или {ложь, истина}), определённая на множестве ${\displaystyle M={{M}_{1}}\times {{M}_{2}}\times \ldots \times {{M}_{n}}}$. Таким образом, каждый набор элементов множества ${\displaystyle M}$ характеризуется либо как «истинный», либо как «ложный».

Предикат можно связать с математическим отношением: если кортеж ${\displaystyle (m_{1},m_{2},\dots ,m_{n})}$ принадлежит отношению, то предикат будет возвращать на нём 1. В частности, одноместный предикат определяет отношение принадлежности некоторому множеству.

Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.

если на любом наборе аргументов он принимает значение ${\displaystyle 1}$.

---