Մաթ. Տրամ./Բանաձևերի արտածումները/0'

$A\supset \left(\left(A\supset B\right)\supset B\right)$

$A,A\supset B⊢B$	// դեդուկցիայի թեորեմ
$1.A,A\supset B⊢A$	// նախադրյալ
$2.A,A\supset B⊢A\supset B$	// նախադրյալ
$3.A,A\supset B⊢B$	// m.p. (1,2)