Доказать справедливость рассуждения, используя две теоремы о логическом следствии: Ваня переутомился, или болен. Если Ваня переутомился, то он раздражается. Ваня не раздражается. Следовательно, он болен.
«Доказать справедливость рассуждения, используя две теоремы о логическом следствии:
Ваня переутомился, или болен.
Если Ваня переутомился, то он раздражается.
Ваня не раздражается.
Следовательно, он болен.»
- Логика
Условие:
3. Решить задачу.
Доказать справедливость рассуждения:
Ваня переутомился, или болен. Если Ваня переутомился, то он раздражается.
Ваня не раздражается. Следовательно, он болен.
Используйте для доказательства две теоремы о логическом следствии.
Решение:
Обозначим следующие высказывания: P: Ваня переутомился. B: Ваня болен. I: Ваня раздражается. Дано: 1) P или B. 2) Если P, то I. 3) Не I. Шаг 1. Примени...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
Р
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Текстильная промышленность
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э