Mahsulot tavsifi:

Predikatlar ustida mantiqiy amallar va chinlik sohalarini ifodalash usullari tahlil qilinadi. Mantiq algebrasida mulohazalar va ularning strukturasiga e’tibor berilmaydi, ammo bu mulohazalardan kelib chiqadigan xulosalar fanda va amaliyotda ahamiyatlidir.