3.16 Отрицание кванторов

Обобщим законы де Моргана на предикаты:

= (Х)
= ()
= () = ()Р(Х).

Таким образом, общее правило де Моргана для предикатов гласит:

Чтобы построить отрицание кванторного выражения необходимо поменять кванторы, поменять знаки и операторы:

1. - на ; - на .

2.Р(Х) - на ; - на Р(Х);

3. - на ; - на .

< Предыдущая		Следующая >