Mavzu: Muloxazalar xisobi

Mavzu: Muloxazalar xisobi.

Reja:

1. 
   Kirish:
   
2. 
   Asosiy qism:
   

1. Muloxazalar xisobi formulasi tushunchasi.

2. Muloxazalar xisobining aksiomalar sistemasi.

3. Keltirib chiqarish qoidasining xosilalari.

3. 
   Xulosalar:
   
4. 
   Foydalaniladigan adabiyotlar:
   

Muloxazalar xisobi aksiomatik mantikiy sistema bo’lib muloxazalar algebrasi esa uning interpretatsiyasidir (talqinidir).

Berilgan aksiomalar sistemasi negizida (bazasida) qurulgan aksiomatik nazariya deb shu aksiomalar sistemasiga tayanib isbotlanuchi xamma teoremalar majmuasiga aytiladi.

Aksiomatik nazariya formal va formalmas nazariyalarga bo’linadi.