Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar


Aynan chin, aynan yolg‘on va bajariluvchi formulalar


Download 1.67 Mb.
bet16/39
Sana09.01.2022
Hajmi1.67 Mb.
#264630
1   ...   12   13   14   15   16   17   18   19   ...   39
Bog'liq
1-2 maruza diskret m

Aynan chin, aynan yolg‘on va bajariluvchi formulalar

Elementar mulohaza. Formula. Aynan chin, aynan yolg‘on formulalar. Tavtologiya. Bajariluvchi formula. Bajarilmaydigan formula. Mantiqiy ekvivalent formulalar. Mantiq qonunlari. Yechilish muammosi.Yechuvchi usul.

Tavtologiya. Tabiiyki, berilgan formula uning tarkibida qatnashuvchi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlari ucnun turli qiymatlar, jumladan, faqat ch yoki faqat yo qiymat qabul qilishi mumkin.

1- ta’rif. Tarkibidagi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlarida faqat ch qiymat qabul qiluvchi formula tavtologiya deb ataladi.

1- jadval











yo

yo

ch

yo

ch

yo

ch

ch

yo

ch

ch

yo

yo

yo

ch

ch

ch

ch

ch

ch

Tavtologiya iborasi o‘rnida aynan chin yoki doimo chin formula iborasi ham qo‘llanilishi mumkin. Tavtologiya, ko‘pincha, yoki 1 bilan belgilanadi. Aynan chin formula, uning tarkibida ishtirok etuvchi o‘zgaruvchilarning qiymatlariga bog‘liq bo‘lmay, faqat bitta (ch) qiymat qabul qiladi.

Berilgan formula tavtologiya bo‘lishi yoki bo‘lmasligi, odatda, uning qiymatlar jadvali vositasida aniqlanadi.




Download 1.67 Mb.

Do'stlaringiz bilan baham:
1   ...   12   13   14   15   16   17   18   19   ...   39




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