Մաթ. Տրամ./Բանաձևերի արտածումները/Սիլոգիզմներ/1

$A\supset B,B\supset C⊢A\supset C$

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