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

Question

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

Answer 1

Лови , по медоту резолюции 

---

Comments

Спасибо)