1. Mantiq amallari: dizyunksiya,konyuksiya inkor

P va Q binar munosabatlar bo‘sh bo‘lmagan A to‘plamda berilgan bo’lsin. U holda to‘plam P va Q binar munosabatlaming kompozitsiyasi deyiladi.
A to‘plamida R binar munosabat berilgan bo‘lsin.
a) Agar uchun bo‘lsa, R binar munosabat refleksiv munosabat deyiladi.
b) Agar bo‘lishidan bo‘lishi kelib chiqsa, ya’ni shart bajarilsa, R simmetrik munosabat deyiladi.
d) Agar va bo‘lishidan bo‘lishi kelib chiqsa, ya’ni shart bajarilsa, R tranzitiv munosabat deyiladi.
e) Refleksiv, simmetrik va tranzitiv bo‘lgan binar munosabat
ekvivalentlik munosabati deyiladi.

• 
  uchun a orqali A to‘plamning a ga ekvivalent bo‘lgan
  

barcha elementlarini belgilaymiz va bu to‘plamni a element yaratgan ekvivalentlik sinfi deb ataymiz. R ekvivalentlik munosabati bo‘yicha aniqlangan barcha ekvivalentlik sinflari to‘plami A to‘plamning
R ekvivalentlik munosabati bo‘yicha faktor-to ‘plami deyiladi.


1-misol:

4)tranzitivlik xossasi: yolg‘on mulohaza. Chunki, masalan, M to‘plamning

3, 4, 5 elementlari uchun implikatsiyada konyunksiya rost, lekin implikatsiya natijasi yolg‘on mulohaza. Implikatsiya ta’rifiga ko‘ra, mulohaza yolg‘on. Demak, R - tranzitiv emas;

7-savol: FUNKSIYALAR KOMPOZITSIYASI, EKVIVALENTLIK, TARTIB MUNOSABATLARI
f — A to ‘plamda berilgan binar munosabat b o ‘lsin. Agar lar uchun bo‘lishidan y=z kelib chiqsa, u holda/binar munosabat akslantirish (funksiya) deyiladi.
to‘plam funksiyaning aniqlanish sohasi, to‘plam funksiyaning o ‘zgarish sohasi deyiladi.f va g funksiyalar berilgan bo‘lsin, u holda f ° g =