Дана последовательность формул:
1) (¬𝐵⊃¬𝐴)⊃((¬𝐵⊃𝐴)⊃𝐵)(¬B⊃¬A)⊃((¬B⊃A)⊃B)(\neg B\supset\neg A)\supset ((\neg B\supset A)\supset B);
2) ¬𝐴⊃(¬𝐵⊃¬𝐴)¬A⊃(¬B⊃¬A)\neg A\supset (\neg B\supset\neg A);
3) ¬𝐴⊃((¬𝐵⊃𝐴)⊃𝐵)¬A⊃((¬B⊃A)⊃B)\neg A\supset ((\neg B\supset A)\supset B).
Верно ли , что она является выводом в ИВ?