1Mamadaliyev Kamildjan Bazarbayevich, 2Mamadaliyev Baxtiyor Kamildjanovich 1Andijon davlat universiteti dotsenti, 2Andijon davlat universiteti v.b.dotsenti 2024. TEOREMA ISBOTLASH USULLARINI O‘QITUSHDA PREDIKATLAR ALGEBRASI FORMULALARIDAN FOYDALANISH . ZAMONAVIY TA’LIMDA FAN VA INNOVATSION TADQIQOTLAR. 2, 7 (May 2024), 114–123.