Het bewijs door contrapositie is een methode om het wiskundige bewijs te geven van de stelling als A {\displaystyle A} dan B {\displaystyle B},door het bewijzen van de omgekeerde stelling als niet B {\displaystyle B} dan niet A {\displaystyle A}. Wikipedia