Наприклад, теореми: “якщо два кути трикутника рівні, то їхні бісектриси рівні” і “якщо дві бісектриси трикутника рівні, то кути, які їм відповідають, рівні” – є оберненими одна одній.
Зворотна теорема або зворотне твердження до даної теореми – це твердження, у якому умову вихідної теореми (прямого твердження) поставлено висновком, а висновок – умовою. Зворотною до зворотної теореми є вихідна (пряма) теорема.
Зворотна теорема Піфагора : доказ Якщо сума квадратів двох сторін трикутника дорівнює квадрату третьої сторони, то такий трикутник є прямокутним.
Види теорем і зв’язок між ними. Пряма і зворотна теореми пов’язані з поняттями НЕОБХІДНОЇ і ДОСТАТНЬОЇ УМОВ. У прямій теоремі присутні два предикати і , один з яких визначає Умову, інший – Висновок теореми . У зворотній теоремі умова і висновок міняються місцями.