|
II BOB. Keltirib chiqarishning asosiy qoidalari. Isbotlash tushunchasi
|
| bet | 5/7 | | Sana | 24.11.2023 | | Hajmi | 76 Kb. | | #104726 |
Bog'liq Mavzu mulohazalar algebrasi va mulohazalar orasidagi bog’lanish 1455077 (1), 4-Mavzu Online matn muxarirlari bilan ishlash, Xatirchi tumani, OʻQUVCHILARGA KOʻCHIRMA GAP VA OʻZLASHTIRMA GAPLAR TUZISHGA VA TOʻĞRI, Psixologiya diagnostik test 06.12, 13166 1 98747F731908E04AB8641EAB7691C972925C0DA5, Toshkent axborot texnologiyalari universiteti qarshi filiali,,te, 5-sinf Informatika, M. M. Qosimova Boshlang’ich matematika kursi nazariyasi fanida, 1.ámeliy Alternativ energiya.rus, lekciya rus 4 temadocxII BOB. Keltirib chiqarishning asosiy qoidalari. Isbotlash tushunchasi.
Isbotlanuvchi formula ta’rifi. Mulohazalar hisobining aksiomalar tizimi. Keltirib chiqarish qoidalari
Endi mulohazalar hisobida isbotlanuvchi formulalar sinfini ajratamiz. Isbotlanuvchi formulalar formulalar ta’rifiga o’xshash xarakterda ta’riflanadi. Avval dastlabki isbotlanuvchi formulalar (aksiomalar), undan keyin esa keltirib chiqarish qoidasi aniqlanadi. Keltirib chiqarish qoidasi orqali bor isbotlanuvchi formulalardan yangi isbotlanuvchi formulalar hosil qilinadi.
Mulohazalar hisobining aksiomalar tizimi.
Mulohazalar hisobining aksiomalar tizimi XI aksiomadan iborat bo’lib, bular to’rt guruhga bo’linadi.
AB formulaning qismiy formulalari bo’ladi.
Birinchi guruh aksiomalari:
I1 x(yx) .
I2 (x(yz))((xy)(xz)).
Ikkinchi guruh aksiomalari:
II1 x yx.
II2 x yy.
II3 (zx)((zy)(zx y)).
Uchinchi guruh aksiomalari:
III1 xx y .
III2 yx y.
III3 (xz)((yz)(xyz)).
To’rtinchi guruh aksiomalari:
IV1 (xy)(y x) .
IV2 xx .
IV3 x x .
O’rniga qo’yish qoidasi.
Agar A mulohazalar hisobining isbotlanuvchi formulasi, x -o’zgaruvchi, B mulohazalar hisobining ixtiyoriy formulasi bo’lsa, u vaqtda A formula ifodasidagi hamma x lar o’rniga B formulani qo’yish natijasida hosil etilgan formula ham isbotlanuvchi formula bo’ladi.
A formuladagi x o’zgaruvchilar o’rniga B formulani qo’yish operasiyasi (jarayoni)ni o’rniga qo’yish qoidasi deb aytamiz va uni quyidagi simvol bilan belgilaymiz:
B
x
|
| |
