математическая логика
Здравствуйте!!! Вы не могли мне помощь с несколькими заданиями??? Заранее благодарен!!! Помоги пожалуйста, мне бы побыстрее решить, от этого зависит мой перевод на след курс!!!!
`TZ`
Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:G,H|- F->G
Используя теорему о дедукции, докажите следующие выводимости:G->(F->F)[[/TZ]]
Используя производные правила вывода, докажите, что справедливы следующие выводимости: