Теорема имеет вид
если А, то Б.Обратная (
если Б, то А): если диагонали четырёхугольника взаимно перпендикулярны, то этот четырёхугольник - квадрат (это неправда, конечно).
Противоположная (
если не А, то не Б): если четырёхугольник не является квадратом, то его диагонали не взаимно перпендикулярны (это тоже неправда).
Обратная противоположной (
если не Б, то не А): если диагонали четырёхугольника не взаимно перпендикулярны, то этот четырёхугольник - не квадрат (это равносильно прямой теореме)