Դիտել Մաթ. Տրամ./Բանաձևերի արտածումները/Սիլոգիզմներ/1 էջի վիքիկոդը

<math>
A \supset B,B \supset C \vdash A \supset C
</math>

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

[[Category:Մաթ. Տրամաբանություն/Բանաձևեր]]