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

Рассмотрим такой пример: (отрицание предложения необходимо начинать со слов <неверно, что:>) - <неверно, что все ученики отличники>. Попытаемся перефразировать: <среди учеников есть хотя бы неотличник> или , т. е. ≡ . Ещё один пример: ≡ .

Правила построения отрицания предложения с кванторами:

- каждый квантор меняем на противоположный;

- отрицание переносим на высказывательную форму.

Пример: Предложение: <в каждой стране найдётся город, у всех жителей которого глаза одинакового цвета>.

Запись кванторами: (глаза одинакового цвета)

Отрицание кванторами: (неверно, что глаза одинакового цвета)

Отрицание предложение: <существует страна, в каждом городе которой найдётся житель с глазами разного цвета>.