ЧАСТЬ 1. ЛОГИКА ВЫСКАЗЫВАНИЙ
Задание 1 (таблица 1).
1. Представить предложение (высказывание) в пропозициональной форме логики высказываний.
2. Для полученной формы выявить тавтологию, противоречие или опровержимость двумя способами:
- пассивным, с помощью таблицы истинности;
- активным, с помощью эквивалентных преобразований.
«Впервые человек полетел в космос в 1957 г., или в 1959 г., или в 1961 г. Однако, известно, что впервые человек полетел в космос не в 1957 г. и не в 1959 г. Следовательно, впервые человек полетел в космос в 1961 г.».
Решение
А - человек впервые полетел в космос в 1957
В - человек впервые полетел в космос в 1959
С - человек впервые полетел в космос в 1961
Впервые человек полетел в космос в 1957 г., или в 1959 г., или в 1961 г. - A∨B∨C
Присоединяем отрицание первого и второго:
(A∨B∨C)∧A ̅∧B ̅→C
Строим таблицу истинности:
Как видим, имеем полную тавтологию.
Проведем упрощение:
- Курсовая работа
- Контрольная работа
- Реферат
- Отчет по практике
- Дипломная работа
- Эссе
- Статья
- Научно-исследовательская работа
- Доклад
- Глава диплома
- ВКР
- Ответы на билеты
- Магистерская работа
- Научная статья
- Лабораторная работа
- Рецензия
- Бизнес план
- ВАК
- Решение задач
- Аспирантский реферат
- Доработка заказа клиента
- Диаграммы, таблицы
- Перевод
- Презентация
- Тезисный план
- Дипломная работа MBA
- Монография
- Диссертация
- Компьютерный набор текста
- Чертёж
- Речь к диплому
