Dokaz po kontrapoziciji

Tvrdnju "A implicira B" dokazujemo dokazom po kontrapoziciji tako da dokažemo kontrapozitivnu tvrdnju "ne B implicira  ne A" .

» Rječnik pojmova - matematička logika