Oʻzbekiston respublikasi oliy va oʻrta maxsus ta‘limi vazirligi navoiy davlat pedagogika instituti fizika – matematika fakulteti

Download 3,81 Mb. Pdf ko'rish
bet	126/193
Sana	13.05.2024
Hajmi	3,81 Mb.
	#230005

1 ... 122 123 124 125 126 127 128 129 ... 193

Bog'liq
Majmua IVRT 1-SEMestr 123

3-ta‘rif (ikki mulohazaning dizyunksiyasi
4-ta‘rif (ikki fikrning implikasiyasi )

1-ta‘rif (fikrning inkori
): A fikrning inkori deb, A rost bo‗lganda yolg‗on bo‗ladigan, A
yolg‗on bo‗lganda rost bo‗ladigan va

А (yoki
A
) kabi belgilanuvchi boshqa bir fikrga aytiladi.
Bu ta‘rifni tushintirish uchun fikr inkorining chinlik jadvali deb ataluvchi quyidagi jadvalni
kiritamiz:
А

А (yoki
A
)
0
1
1
0
Fikrning inkori.

2-ta‘rif
(
ikki fikrning konyunksiyasi
)

A va B fikrlarning konyuksiyasi deb, shunday yangi
fikrga aytiladiki, bu fikr berilgan ikkala fikr bir paytda rost bo‗lgandagina rost bo‗lib, qolgan xollarda
yolg‗on bo‗ladi, hamda, A(B yoki A&B kabi belgilanadi.
Bu ta‘rifni tushintirish uchun ikki fikrning konyunksiyasi chinlik jadvali deb ataluvchi jadvalni
kiritamiz:
А
B
А

B
0
0
0
0
1
0
1
0
0
1
1
1
Ikki fikrning konyunksiyasi
Berilgan A va B fikrlarning konyuksiyasi ―A va B‖, ―ham A, ham B‖, ―A xamda B‖
ko‗rinishida quriladi.
3-ta‘rif (ikki mulohazaning dizyunksiyasi
): A va B fikrlarning dizyunksiyasi deb, shunday
yangi fikrga aytiladiki, bu fikr A va B fikrlardan aqalli bittasi rost bo‗lgandagina rost bo‗ladi. Uning
belgilanishi А

B ko‗rinishda bo‗lib, uning chinlik jadvali:
А
B
А

B
0
0
0
0
1
1
1
0
1
1
1
1
Ikki muloxazaning dizyunksiyasi
Berilgan A va B fikrlarning dizyunksiyasi ―A yoki B‖, ―yo A, yo B‖ kabi quriladi.
4-ta‘rif (ikki fikrning implikasiyasi
)
:
A va B fikrlarning implikasiyasi deb, shunday yangi
fikrga aytiladiki, A rost bo‗lib, B yolg‗on bo‗lganda yolg‗on, qolgan hollarda rost bo‗ladi, hamda,
belgilanishi А

B ko‗rinishda bo‗lib, uning chinlik jadvali:
А
B
А

B
0
0
1
0
1
1
1
0
0
1
1
1
Ikki fikrning implikasiyasi

―Agar A bo‗lsa, u holda B‖, ―A dan B kelib chikadi‖, ―A-fikr, B-fikr uchun yetarli‖, ―B-fikr,
A-fikr uchun zarur‖.
Keltirilgan shartli fikrda A – asos, B – esa xulosa deyiladi. Implikasiya xulosa chiqarishda
muhim rol o‗ynaydi va teoremalar, har xil tushunchalar ta‘riflari shakllanadi.

Download 3,81 Mb.

1 ... 122 123 124 125 126 127 128 129 ... 193

Download 3,81 Mb.

Pdf ko'rish