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

$A\supset B,B\supset C\vdash A\supset C$

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