Mantiqiy bog’lovchilar, qismiy formula, isbotlanuvchi formula, mulohazlar hisobining aksiomalar sistemasi Reja



Yüklə 28,92 Kb.
səhifə3/6
tarix19.12.2023
ölçüsü28,92 Kb.
#186054
1   2   3   4   5   6
Mantiqiy bog’lovchilar, qismiy formula, isbotlanuvchi formula, m-fayllar.org

Diz’yunksiya.
Tа’rif. A va B mulohazalarning kamida bittasi rost bo`lganda rost bo`ladigan hamda “yoki” bog`lovchisi bilan bog`lanuvchi mulohazalar va B mulohazalarning diz’yunksiyasi deb ataladi, ko`rinishda belgilanadi.
Bu yerdagi yozuv “A yoki B” deb o`qiladi, “ ” belgi diz’yunksiya belgisi deyiladi. va B lar diz’yunksiyaning mos ravishda birinchi va ikkinchi hadlari deb ataladi.
Diz’yunksiyaning rostlik jadvali quyidagicha bo`ladi:


A


B



R(1)

R(1)

R(1)

R(1)

Yo(0)

R(1)

Yo(0)

R(1)

R(1)

Yo(0)

Yo(0)

Yo(0)


Dizyunksiya so‘zi – farqlayapman degan ma’noni anglatadi.
Masalan1) “Yozda toqqa chiqamiz yoki dengizga boramiz” diz’yunksiyasini qaraymiz. Bu mulohaza quyidagi hollarda rost bo`ladi: biz toqqa chiqamiz, ammo dengizga bormaymiz; dengizga boramiz lekin toqqa chiqmaymiz; biz toqqa ham chiqamiz, dengizga ham boramiz. Yangi mulohaza yolg`on bo`ladi: biz toqqa ham chiqmaymiz, dengizga ham bormaymiz.
2) mulohazaning rost yoki yolg`onligini aniqlaylik. Bu diz’yunksiya rost, chunki rost mulohaza va yolg`on mulohazadan tashkil topgan.


Yüklə 28,92 Kb.

Dostları ilə paylaş:
1   2   3   4   5   6




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin