O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

Sinflar hisobi prinsiplari

Sinflar ustida amallar bilan sinflar orasidagi munosabatlar tabiatini aniqlash uchun qator o‘zak prinsiplarni aniqlash zarur. Ular quyidagilardan iborat⁴:

1. 
   Har qanday a < a sinf uchun aynanlik prinsipi. Bu prinsipga muvofiq har bir sinf o‘zining ichiga kiradi. Shuningdek, mazkur prinsipdan hamda tenglik xususiyatidan a = a kelib chiqadi.
   
2. 
   Ziddiyat prinsipi: aa = 0. Hech bir a’zo bir vaqtda ham a sinfga, ham a – emas sinfga mansub bo‘la olmaydi.
   
3. 
   Uchinchisi mustasno prinsipi: a + a Universumning har bir individi yo a ning, yo a – emasning a’zosidir.
   
4. 
   O‘rnini almashtirish prinsipi: ab = ba
   

a+b = b+a

Assotsiatsiya prinsipi: (ab)c = a(bc)

(a+b)+c = a+(b+c)

5. 
   Distributsiya prinsipi: (a+b)c=ac+bc
   
6. 
   Tavtologiya prinsipi: aa = a a+a=a
   

7. Yutish prinsipi: a + ab = a

a(a+b) = a

8. Soddalashtirish prinsipi: ab < a

a < a+b