Пусть на множ-е М¹Æ. заданы предикаты p(x) и q(x).
Определение. Конъюнкцией предикатов p(x) и q(x) называется бинарный предикат, обозначаемый
r(x)=p(x)˄q(x), который принимает значение «истина» для тех и только тех значений xϵ M, при кот-х оба исходных предиката p(x) и q(x) превращаются в истинное высказывание.
Пусть – множ-о истинности предиката p(x), – множество истинности предиката q(x), тогда множеством истинности предикат r(x) яв-ся множество вида M[r(x ]=M . (9)
– множ-о истинности предиката p(x), 
– множество истинности предиката q(x), тогда множеством истинности предикат r(x) яв-ся множество вида M[r(x 
]=M 
. (9)