S implikacijom "a implicira b" povezana je implikacija "ne b implicira ne a" koju zovemo obrat suprotnog teorema ili kontrapozitivna tvrdnja.