Մաթ. Տրամ./Բանաձևերի արտածումները/Սիլոգիզմներ/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,A \vdash A \supset C$	// դեդուկցիայի թեորեմ