Մաթ. Տրամ./Բանաձևերի արտածումները/2

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


// աքսիոմ 3 ()

// նախադրյալ

// աքսիոմ 1 ()

// m.p. (2,3)

// m.p. (4,1)

// բանաձև 1 ()

// m.p. (6,5)

// դեդուկցիայի թեորեմը