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):114-23. http://zamtadqiqot.uz/index.php/zt/article/view/395.