Twierdzenie: „Jeżeli trójkąt jest prostokątny, to suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej.
Założenie:
Jeżeli trójkąt jest prostokątny
Teza:
suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej.
Jest to zdanie z implikacją, założenie jest poprzednikiem a teza następnikiem.