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

<math>
A \supset A
</math>



{| 
|
<math>
1.\,\,A \supset \left( {A \supset A} \right)
</math>
|
// [[Մաթ. Տրամ./Բանաձևերի ցանկը|աքսիոմ 1]] (<math>A = A,\,\,B = A</math>)
|- 
|
<math>
2.\,\,\left( {A \supset \left( {A \supset A} \right)} \right) \supset \left( {\left( {A \supset \left( {\left( {A \supset A} \right) \supset A} \right)} \right) \supset \left( {A \supset A} \right)} \right)
</math>
|
// [[Մաթ. Տրամ./Բանաձևերի ցանկը|աքսիոմ 2]] (<math>A = A,\,\,B = \left( {A \supset A} \right),\,\,C = A</math>)
|- 
|
<math>
3.\,\,\left( {A \supset \left( {\left( {A \supset A} \right) \supset A} \right)} \right) \supset \left( {A \supset A} \right)
</math>
|
// m.p. (1,2)
|- 
|
<math>
4.\,\,A \supset \left( {\left( {A \supset A} \right) \supset A} \right)
</math>
|
// [[Մաթ. Տրամ./Բանաձևերի ցանկը|աքսիոմ 1]] (<math>A = A,\,\,B = \left( {A \supset A} \right)</math>)
|- 
|
<math>
5.\,\,A \supset A
</math>
|
// m.p. (3,4)
|}

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