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

<math>
A \supset \left( {\left( {A \supset B} \right) \supset B} \right)
</math>


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

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