1. Главная
  2. Библиотека
  3. Высшая математика
  4. Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций.Если идет д...

Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций.Если идет дождь, то крыши мокрые. Крыши не мокрые. Следовательно, дождя нет.

«Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций.Если идет дождь, то крыши мокрые. Крыши не мокрые. Следовательно, дождя нет.»
  • Высшая математика

Условие:

1. Установить правильность рассуждения, построив вывод исчисления высказываний. 

2. Проверить вывод методом резолюций.

Если идет дождь, то крыши мокрые. Крыши не мокрые. Следовательно, дождя нет.

Решение:

Обозначим:

А = Идет дождь;

В = Крыши мокрые.

Тогда:

Нужно построить следующий вывод:

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет