1Mamadaliyev Kamildjan Bazarbayevich, 2Mamadaliyev Baxtiyor Kamildjanovich 1Andijon davlat universiteti dotsenti, 2Andijon davlat universiteti v.b.dotsenti. TEOREMA ISBOTLASH USULLARINI O‘QITUSHDA PREDIKATLAR ALGEBRASI FORMULALARIDAN FOYDALANISH . ZT 2024, 2, 114-123.