1) Докажите, что имеют место следующие выводимости

1) Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез. (1 выражение)
2) Используя теорему о дедукции, докажите следующие выводимости (2 выражение)
3) Используя производные правила вывода, докажите, что справедливы следующие выводимости (3 выражение)
Задания сверху вниз по номерам