Matematika


Download 253.38 Kb.
bet6/9
Sana30.05.2020
Hajmi253.38 Kb.
#111943
1   2   3   4   5   6   7   8   9
Bog'liq
Nasilloyeva Nigina kurs ishi DMVMMdan

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

(8) aksioma sxemasi;

(9) Natija 3.4. kelib chiqadi.

(10) (1) va (9) ga MR 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 MR qo‘llandi;



Demak, ├ hosil bo‘ldi.

  1. .

(1) gipoteza;

(2) gipoteza.

(3) aksioma sxemasi;

(4)

(5) aksioma sxemasi;

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

(7) (2) va (6) ga MR qo‘llandi;

SHunday qilib, , ga ikki marta deduksiya teoremasini qo‘llasak ├ hosil bo‘ladi.


Download 253.38 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling