Определение. Дизъюнкцией предикатов p(x) и q(x) называется новый предикат, обозначаемый s(x)=p(x)˅q(x), который принимает значение «истина» для тех и только тех значений xϵ M, при которых хотя бы одно из высказываний (предикатов) p(x) и q(x) истинно.
M[s 
]= 
(10) – мн-о истинности предик-а S(x).
Определение. Отрицанием предиката p(x) с областью определения M называется предикат с той же областью определения, обозначаемый 
, который принимает значение «истина» для тех и только тех значений xϵ M, при которых p(x) есть ложное высказывание.
Множеством истинности предикат является множества M[ ]=M\ 
(11)
Определение. Импликацией предикатов p(x) и q(x) называется новый предикат, обозначаемый z(x)=p(x)→q(x), который принимает значение «ложь» для тех и только тех значений xϵ M, при которых предикат p(x) яв-ся истинным высказыванием, а q(x)–ложным.
Множ-о истинности предиката z(x) является множества M= 
. (12)
