Предикат – логическая функция, определенная на некотором множестве M, т. e. такая n–местная функция p, которая каждому упорядоченному набору 
Î M сопоставляет некоторое высказывание, обозначаемое 
. p наз-ся n–местным предикатом на множ-е M. Пусть задано произвольное множество М¹Æ.
Определение. Одноместным предикатом р(х) на множестве М называется функция вида p:M→{1,0}. (5)
Двуместным предикатом 
на множестве М называется функция вида p: M x M→{1,0}. (6) и т.д.
n–местным предикатом 
на множестве M называется функция вида
p: M x M x…x M → {1,0} = 
→{1,0}. (7)
Пусть задано множество M– область определения предиката 
, (где М¹Æ.–произв-е мн-о).
Определение. Подмножество множеств M, состоящее из тех значений переменных, при которых данный предикат преврашается в истинностное высказывание, называется областью истинности предиката и обозначается следующим образом:M[p(x)]={x ϵ M|p(x)=1}.(8)
