atvirkštnis uždavinỹs, uždavinys sprendžiamas taip: sakykime, A ir B yra du teiginiai ir reikia įrodyti, kad iš teiginio A išplaukia teiginys B, o iš teiginio B išplaukia teiginys A. Tuomet vienas iš šių uždavinių yra vadinamas tiesioginiu, o kitas – atvirkštiniu pirmajam. Jeigu tiesioginis uždavinys yra pirmasis, tai teiginys A yra vadinamas uždavinio sąlyga, o teiginys B – uždavinio sprendiniu. Atvirkštinių uždavinių teiginių vaidmenys yra priešingi. Uždaviniai gali būti abu išsprendžiami, abu neišsprendžiami arba vienas išsprendžiamas, o kitas – ne.
3045