1 Определение
2 Примеры
3 Операции над предикатами
3.1 Логические операции
3.2 Кванторные операции

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

( как из фильма--" Это, эта рыжая,чтоль?" "Да какая же она рыжая? Она светлорусая." "Ну,уж,рыжая она,вся насквозь рыжая,а светлорусой,лишь притворяется")