Замечание.   При раскрытии отрицания к условию, содержащему квантор, следует поменять квантор, а знак отрицания поставить после этого квантора и переменной, к которой он относится:

Ø ("xÎX Ð условие A для x)  Û   $xÎX :   Ø ( условие A для x)

Ø ($xÎX: условие A для x)  Û   "xÎX Ð   Ø ( условие A для x)

Например, отрицание к условию "любой человек моложе 100 лет" можно сформулировать так: "существует человек, который не моложе 100 лет".

Предыдущая_страница Следующая_страница