• Предмет: Алгебра
  • Автор: sofka123
  • Вопрос задан 10 лет назад

Методом резолюций доказать теорему |- (A->B)->((A->(B->C))->(A->C))

Ответы

Ответ дал: KrisHope
0
Лови , по медоту резолюции 
Приложения:
Вас заинтересует