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