Mavzu: Muloxazalar xisobi

Muloxazalar xisobi formulasi tushunchsi.

Xar qanday xisobining tavsiya bu xisobining simbollari tavsifidir, formulalar va keltirib chirarish formulalari ta’rifidan iborat.

Muloxazalar xisobida uch qategoriyali simvollardan iborat alfabit qabul qilinadi

Birinchi qategoriya simbollari: x;y;z;… Bu simvollar o’zgaruvchilar deb ataladi.

Ikkinchi qategoriya simbillari :  Bular mantikiy bog’lovchilardir.

Uchinchi kategoriya: kavs deb ataladigan ( , ) simvol kiritilgan.

Muloxazalar xisobida boshqa simbillar yo’q.

Endi formula tushunchasiga tariff beraylik bu tushuncha quyidagicha aniqlanadi:

1)Xar qanday x,y,z,… o’zgaruvchilarning istalgan biri formuladir

2)Agar A va B ning har birini formulasi bo’lsa u xolda  ,,  va  xam formuladir

3) Boshqa xech qanday simbollar satri formula bo’la olmaydi.

O’zgaruvchilarni elentar formulalar deb ataymiz.

Misol: Formula tarifining 1- bandiga ko’ra x,y,z … o’zgaruvchilar

formula bo’ladi U vaqtda ta’rifning 2- bandiga muvafiq

,    lar xam formulalardir Xuddi shu tariqa

 xam formulalar bo’ladi

Quyidagi formula bo’la olmaslikini tushuntiring

Qismiy formula tushunchasin kirtamiz :

1. 
   Elementar fo’rmula uchun faqat uning o’zi qismiy formuladir.
   
2. 
   Agar  formula bo’lsa u xolda shu formulaning o’zi A formula va A formulaning hamma kismiy formulalari uning qismiy formulalari bo’ladi.
   
3. 
   Agar formula A*B ko’rinisha bo’lsa (Bu yerda va bundan keyin * ornida simbollari istalganini tushunamiz) u xolda shu formulaning o’zi A va B formulalari A*B formulning qismiy formulasi bo’ladi.
   

Masalan: ( formula uchun

( – nolinchi chuqurdaki qismiy formula

- birinchi chuqurlikdaki qismiy formulalar

X, y, (zy )- ikkinchi chuqurlikdaki qismiy formulalar

Formulalarni yozishd ayrim soddalashtirishlarni mavjud qilamiz Xuddi muloxazalar algebrasidaki formulalar qavslari tushurilib qoldiriladi Bu kelishuvga binoan

(

Formulalarini mos ravishda

 x

Ko’rinishda yozamiz.