Begrepp

Motsägelsebevis

Motsägelsebevis är en bevismetod där man visar att ett påstående, P, är sant genom att man
  1. antar att motsatsen till det man vill bevisa, dvs.P, är sant
  2. försöker bevisa P men stöter på en motsägelse, t.ex. att
Eftersom P leder till något ogiltigt kan man, förutsatt att det matematiska resonemanget efter steg ä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
Det betyder att B är falskt, dvs. B måste vara sant.
Övningar