ЧАСТЬ 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
- Компьютерный набор текста
- Речь к диплому
- Тезисный план
- Чертёж
- Диаграммы, таблицы
