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, vol. 2, no. 7, pp. 114–123, May 2024.