Решить 2 задачи

1) Из данных формул вывести новые формулы, используя правило modus ponens
(A=>B)=>(B=>C), (A=>B), (B=>C)=> A
2) Записать данные формулы, затем знак выводимости и одну из полученных и выполнении задания 1 формулу. Затем, применяя теорему дедукции, получить некоторую теорему ИВ