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


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

Aynan yolg‘on formulalar. Formula uning tarkibida ishtirok etuvchi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlari ucnun faqat yo qiymat qabul qilishi ham mumkin.

2- ta’rif. Tarkibidagi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlarida faqat yo qiymat qabul qiluvchi formula aynan yolg‘on (doimo yolg‘on) yoki bajarilmaydigan formula deb ataladi.

1- va 2- ta’riflardan yaqqol ko‘rinib turibdiki, aynan yolg‘on formula tavtologiyaning inkoridir, va, aksincha, tavtologiya aynan yolg‘on formulaning



inkoridir. Shuning ucnun aynan yolg‘on formulani yoki 0 bilan belgilash joizdir.

Aynan yolg‘on formula ham, aynan chin formula kabi, o‘z tarkibida ishtirok etuvchi o‘zgaruvchilarning qiymatlariga bog‘liq emas, u faqat bitta (yo) qiymat qabul qiladi. Berilgan formulaning bajarilmaydigan formula bo‘lishi yoki bo‘lmasligi ham, odatda, uning qiymatlar jadvali yordamida aniqlanadi.




Download 1.67 Mb.

Do'stlaringiz bilan baham:
1   ...   14   15   16   17   18   19   20   21   ...   39




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