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.
Do'stlaringiz bilan baham: |
