1. Главная
  2. Библиотека
  3. Высшая математика
  4. Докажите, что имеют место следующие выводимости: F → G,...
Решение задачи на тему

Докажите, что имеют место следующие выводимости: F → G, F → (G → H), F├ H

  • Высшая математика
Докажите, что имеют место следующие выводимости: F → G, F → (G → H), F├ H

Условие:

Докажите, что имеют место следующие выводимости:

F → G, F → (G → H), F├ H

Решение:

Построим вывод:

1. F G посылка

2. F (G H) посыл...

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