yapopovko
Если это теорема о добавлении и удалении связок, то правил 11, без эквиваленции. Если с эквиваленцией, то 14. Добавляю (бубен):
Если
и
то 
У меня готов формальный вывод из аксиом. Вы изучите и преобразуете его в нужном виде.
Добавлено спустя 16 минут 49 секунд:
Хотя нет, я в этом выводе использовал не только схемы аксиом, но и ранее доказанные формулы (две) В итоге длинный вывод получается.
Добавлено спустя 39 минут 16 секунд:
Первая часть одной задачи, минус анализ. Таким методом почти не выводил. Но вроде бы верно. Короткий по сравнению с прямым формальным выводом.
