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

Վիքիգրքեր-ից
Անցնել դեպի նավարկություն, որոնել


// աքսիոմ 1 ()

// աքսիոմ 3 ()

// ապացուցվում է -ից [անցնել]

// m.p. (2,3)

// նախադրյալ

// m.p. (5,1)

// m.p. (6,4)

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