Motsägelsebevis är en bevismetod där man visar att ett påstående, P, är sant genom att man
antar att motsatsen till det man vill bevisa, dvs.¬P, är sant
försöker bevisa ¬P men stöter på en motsägelse, t.ex. att 1=0.
Eftersom ¬P leder till något ogiltigt kan man, förutsatt att det matematiska resonemanget efter steg 1 är korrekt, dra slutsatsen att ¬P är falskt, och därför är P sant. Om det är en implikation A ⇒ B man ska bevisa