Логика - доступно для всех

 - высказывание, содержащее переменную.

 - предметная область предиката.

Пусть А – множество объектов произвольной природы (предметная область предиката).

-местный предикат – произвольное отображение  

Множество истинности данного предиката

 -

 - характеристическая

функция от x на множестве

А - совпадает

с предикатами