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