Замечание. При раскрытии отрицания к условию, содержащему квантор, следует поменять квантор, а знак отрицания поставить после этого квантора и переменной, к которой он относится:
Ø ("xÎX Ð условие A для x) Û $xÎX : Ø ( условие A для x)
Ø ($xÎX: условие A для x) Û "xÎX Ð Ø ( условие A для x)
Например, отрицание к условию "любой человек моложе 100 лет" можно сформулировать так: "существует человек, который не моложе 100 лет".