Twierdzenie odwrotne: „Jeżeli suma kwadratów długości dwóch boków trójkąta jest równa kwadratowi długości trzeciego boku, to trójkąt ten jest prostokątny.
Założenie:
Jeżeli suma kwadratów długości dwóch boków trójkąta jest równa kwadratowi długości trzeciego boku
Teza:
trójkąt ten jest prostokątny.
Jest to zdanie z implikacją, założenie jest poprzednikiem a teza następnikiem.