Wartość logiczna implikacji to prawda.
Zdanie poprzednik p:
trójkąt jest prostokątny.
Zdanie następnik q:
suma miar jego (trójkąta prostokątnego) kątów wewnętrznych ostrych jest równa 90°.
Jeżeli wartość logiczna poprzednika jest prawdą, a wartość logiczna następnika jest prawdą, to: