Suprotan teorem

S implikacijom "a implicira b" povezana je implikacija "ne a implicira ne b" koju zovemo suprotan teorem.

» Rječnik pojmova - matematička logika