– не верно, что все х обладают свойствами F, значит, некоторые х не обладают свойствами F:
.
– не верно, что существуют х обладающие свойствами F, значит, все х не обладают свойствами F:
.
В случае наличия нескольких кванторов необходимо последовательно заменять все кванторы и инвертировать предикаты, например:
; .