Două teoreme, din care fiecare se poate obține din alta prin schimbarea cu locurile a condiției și a concluziei, se numesc reciproc inverse. Dacă oricare dintre aceste teoreme este numită directă, atunci a doua teoremă va fi numită inversă.

Дві теореми, кожну з яких можна отримати з іншої, помінявши місцями умову й висновок, називають взаємно оберненими. Якщо яку-небудь із двох взаємно обернених теорем назвати прямою, то другу теорему називатимемо оберненою.