Задание 3
Среди следующих предложений укажите пары высказываний, являющихся отрицаниями друг друга. (1) Все студенты получили зачет. (2) Некоторые студенты не получили зачет. (3) Ни один студент группы не получил зачет. (4) Некоторые студенты получили зачет
Решение
По определению квантор ограничивает область истинности какого-дибо предиката, создающего высказывание. Квантор всеобщности в примере выражается тем, что для всех x верно P(x), поэтому, если в предложении «Все студенты получили зачет» x является истинным факт, что абсолбтно все студенты получили зачет, отрицанием такого предложения будет тот факт, что ни один студент группы не получил зачет – квантор всеобщности.
Пусть P(x) – одноместный предикат. Чтобы установить ложность высказывания (∀x)P(x), достаточно найти хотя бы один такой x*, что P(x* ) становится ложным высказыванием.
Высказывание Формула Доказательство ложности
Высказывание 1 «Все студенты получили зачет» (∀x)зачет Некоторые студенты не получили зачет
Некоторые студенты получили зачет
Следовательно, 1е высказывание является ложным для 2го высказывания и также 1е высказывание является отрицанием высказывания 4.
- Курсовая работа
- Дипломная работа
- Контрольная работа
- Реферат
- Отчет по практике
- Магистерская работа
- Статья
- Эссе
- Научно-исследовательская работа
- Доклад
- Глава диплома
- Ответы на билеты
- Презентация
- Тезисный план
- Чертёж
- Диаграммы, таблицы
- ВАК
- Перевод
- Бизнес план
- Научная статья
- Рецензия
- Лабораторная работа
- Решение задач
- Диссертация
- Доработка заказа клиента
- Аспирантский реферат
- Монография
- ВКР
- Дипломная работа MBA
- Компьютерный набор текста
- Речь к диплому
