Рассмотрим такой пример: (отрицание предложения необходимо начинать со слов <неверно, что:>) - <неверно, что все ученики отличники>. Попытаемся перефразировать: <среди учеников есть хотя бы неотличник> или , т. е. ≡ . Ещё один пример: ≡ .
Правила построения отрицания предложения с кванторами:
- каждый квантор меняем на противоположный;
- отрицание переносим на высказывательную форму.
Пример: Предложение: <в каждой стране найдётся город, у всех жителей которого глаза одинакового цвета>.
Запись кванторами: (глаза одинакового цвета)
Отрицание кванторами: (неверно, что глаза одинакового цвета)
Отрицание предложение: <существует страна, в каждом городе которой найдётся житель с глазами разного цвета>.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление