Обобщим законы де Моргана на предикаты:
= (
Х)
= (
)
= (
)
= (
)Р(Х)
.
Таким образом, общее правило де Моргана для предикатов гласит:
Чтобы построить отрицание кванторного выражения необходимо поменять кванторы, поменять знаки и операторы:
1.
- на
;
- на
.
2.Р(Х) - на
;
- на Р(Х);
3.
- на
;
- на
.