Het bewijs door contrapositie is een methode om het wiskundige bewijs te geven van de stelling
door het bewijzen van de omgekeerde stelling
In de klassieke logica is de tweede stelling equivalent aan de eerste: een bewijs van de ene stelling is ook een bewijs voor de andere stelling.
Dat is in de intuïtionistische logica anders. Een bewijs dat 'als A dan B' betekent ook dat 'als niet B dan niet A' geldt, maar die redenering geldt in de andere richting niet.