Obrat teorema

S implikacijom "a implicira b" povezana je implikacija "b implicira a" koju zovemo obrat teorema.

» Rječnik pojmova - matematička logika