4-bob mulohazalar hisobi 1-§. Formal aksiomatik nazariya

3-§. NAZARIYANING ASOSIY KELTIRIB CHIQARILADIGAN FORMULALARI
3.1-teorema. 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 MP qo‘llandi;

(4) aksioma sxemasi;

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

(6) sxemasi;

(7) (5) va (6) ga MP qo‘llandi;

(8) aksioma sxemasi;

(9) .2-natija a) ni (8) va (7)qo'llashdan kelib chiqadi.

(10) (1) va (9) ga MP qo‘llandi;

Demak, ├ hosil bo‘ldi. Bunga deduksiya teoremasini qo‘llasak ├ hosil bo‘ladi.

(b) ├.

(1) (a) punkt;

(2)

aksioma sxemasi;

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

Demak, ├ hosil bo‘ldi.

3. 
   ├.
   

(1) gipoteza;

(2) gipoteza.

(3) aksioma sxemasi;

(4)

(5) aksioma sxemasi;

(6) (4) va (5) ga MP qo‘llandi;

(7) (2) va (6) ga MP qo‘llandi;
Shunday qilib, ├, ga ikki marta deduksiya teoremasini qo‘llasak ├ hosil bo‘ladi.

(d)├.

(1) gipoteza.

(2) (b) punkt;

(3) (a) punkt;

(4) (1) va (3) ga Natija 2.2. (a);

(5) (2) va (4) ga Natija 2.2. (a);
(6) aksioma sxemasi;

(7)

Demak, ├ dan deduksiya teoremasiga asosan ├ ni hosil qilamiz:

(e)├.

Ma’lumki ├ o‘rinlidir. Bunga ikki marta deduksiya teoremasini qo‘llasak: ├ ni hosil qilamiz..

(d) punkt sxemasi;

Oxirgi ikki ifodaga 2.2-Natija (a) ni qo‘llab ├ ni hosil qilamiz.

Xususan, bu ning o‘rniga ni, ning o‘rniga esa ni qo‘yib ├
ni ham hosil qilishimiz mumkin.

(f) ├.

(1) punkt;

(2) aksioma sxemasi;.

3. (1) va (2) ga MP qo‘llandi;.

(4) .1-lemma. ga asosan;

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

(6) aksioma sxemasi;

(7) (5) va (6) ga MP qo‘llandi;

(g). ├

(1) gipoteza;

(2) gipoteza;

(3) aksioma sxemasi;

(4) (1) va (3) ga MP qo‘llandi;

(5) (a) punkt;

(6) (f) punkt;

(7) (5) va (6) ga MP qo‘llandi;.

Endi esa, ├ ga ikki marta deduksiya teoremasini qo‘llasak.

├.

(h) ├.

(1) gipoteza

(2) gipoteza

(3) (d) punkt

(4) (1) va (3) ga MP qo‘llandi;

(5) (2) va (4) ga 2.2-Natija (a) ni qo‘llandi;

(6) (f) punkt

(7) (5) va (6) ga MP qo‘llandi;

Shunday qilib, ├, ni hosil qildik. Bunga ikki marta deduksiya teoremasini qo‘llasak:

├ kelib chiqadi.

Mashqlar.

quyidagi formulalar nazariyaning teoremalari bo‘lishini isbotlang.
1. .

2. .

3. ├.

4. .

5. .