Подскажите пожалуйста по логике.

[MARS]

1. покажите, что заданная схема рассуждений есть допустимое правило вывода
A, B→C ⇒ (A→ C)→ B
2. запишите выражение на языке логики предикатов
если 2 треугольника равны, то стороны и углы одного треуг. соответственно равны сторонам и углам другого треуг.

[InfStudent]

Гладкого почитайте по первому пункту
И вот правило введения импликации в естественном выводе Генцена:
A
.
.
.
B
---------------------------
A->B
То есть Вы должны показать выводимость B из A
Рассмотрим например как из A получить B, то есть доказать правильность A->B
Введем для этого правило удаления импоикации
A,A->B
E(->)---------------
          B
Теперь перейдем к примеру. 
Введем доп. посылку ~A под ~A мы пониманием НЕ A
~A это то же самое что A->ЛОЖЬ
Теперь вывод:
A,A->ЛОЖЬ
(E ->)-------------
         ЛОЖЬ
-----------------------(Из лжи можно вывести любое утверждение )
            B
I(->)---------------------------------------------
A->B