Matematika

nazariyaning asosiy keltirib chiqariladigan formulalari.

Teorema 3.5. nazariyaning ixtiyoriy formulalari uchun quyidagi formulalar ning teoremalaridir:

(a) ;

(b) ;

(c) ;

(d) ;

(e) ;

(f) ;

(g) ;

(h) .

Isbot.

(a) ├ .

(1) gipoteza

(2) aksioma sxemasi;

(3); (1) va (2) ga MR qo‘llandi;

(4) aksioma sxemasi;

(5) (3) va (4) ga MR qo‘llandi;

(6) sxemasi;