Отрицание предложений с кванторами

– не верно, что все х обладают свойствами F, значит, некоторые х не обладают свойствами F:

.

– не верно, что существуют х обладающие свойствами F, значит, все х не обладают свойствами F:

.

В случае наличия нескольких кванторов необходимо последовательно заменять все кванторы и инвертировать предикаты, например:

; .