Mavzu: formulalar. ASOSIY TENG KUCHLI formulalar. Mulohazalar algebrasining funksiyalari

Muloxazalar hisobi

Mulohazalar hisobi (MH) aksiomatik nazariya bo‘lib, mulohaza tushunchasiga hech qanday mazmun berilmaydi. 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.

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’riflanadi.

MH ning alfaviti uchta tur belgilardan iborat :

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

   
   

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

   
   

3. ( , ) - chap va o‘ng qavslar.

   
   

MH da boshqa belgilar yo‘q.

II.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‘lmaydi.

O‘zgaruvchi mulohazalarni elementar formulalar deb ataymiz.

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