(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) 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.
Do'stlaringiz bilan baham: |