Navoiy davlat pedagogika instituti fizika matematika fakulteti

MAVZU. MANTIQIY NATIJA CHIQARISH QOIDALAR

Mulohazalar hisobi (MH) aksiomatik nazariya bo‘lib, mulohaza tushunchasiga hech qanday mazmun berilmayd Mulohazalarni odatdagidek lotin alifbosining bosh harflari bilan belgilaymiz. Mulohazalarga qo‘yiladigan talab bitta, u ham bo‘lsa, mulohazalar hisobining aksiomalarni qanoatlantirishi kerak. Mulohazalar algebrasini mulohazalar hisobining interpretatsiyalaridan biri sifatida qarash mumkin.

I1 . Mulohazalar hisobida formula tushunchasi

Mulohazalar hisobini qurish uchun avval uning alfaviti, ya’ni MH da ishlatiladigan belgilar sanab chiqiladi, sûngra shu belgilarning ketma-ketligidan tuzilgan so‘z – formula tushunchasi va niùoyat, keltirib chiqariluvchi formulalar ta’riflanad

MH ning alfaviti uchta tur belgilardan iborat :

A , V , S , . . . , X , U, Z , . . . – o‘zgaruvchi mulohazalar.

ù , & , Ú , Þ - mantiqiy bog‘lovchilar.

( , ) - chap va o‘ng qavslar.

MH da boshqa belgilar yo‘q.

1.1 - ta’rif. 1. Har bir o‘zgaruvchi mulohaza formuladir.

2. Agar ℑ va ℬ lar formula lar bo‘lsa, u holda (ù ℑ),

(ℑ & ℬ ) , ( ℑ Ú ℬ ) , ( ℑ Þ ℬ ) – lar ham formuladir.

3. Boshqa usulda formula hosil qilib bo‘lmayd

O‘zgaruvchi mulohazalarni elementar formulalar deb ataymiz.

Mulohazalar hisobida formulaosti tushunchasi mulohazalar algebrasidagidek kiritilad qavslarni tashlab yuborish tartibi ham mulohazalar algebrasidagidek. Shu sababli, bular ustida to‘xtalib o‘tmaymiz.

Takrorlash uchun savollar :

Mulohazalar hisobi qanday matematik nazariya ?

Mulohazalar hisobi alfaviti nimalardan iborat ?

Mulohazalar hisobida formula tushunchasiga ta’rif bering.

Mulohazalar hisobida formulaosti tushunchasiga ta’rif bering.