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

Վիքիգրքեր-ից


// աքսիոմ 1 ()

// աքսիոմ 2 ()

// m.p. (1,2)

// աքսիոմ 1 ()

// m.p. (3,4)