{{ option.label }} add
menu_book {{ printedBook.name}}
arrow_left {{ state.menu.current.label }}
{{ option.icon }} {{ option.label }} arrow_right
arrow_left {{ state.menu.current.current.label }}
{{ option.icon }} {{ option.label }}
arrow_left {{ state.menu.current.current.current.label }}
{{ option.icon }} {{ option.label }}
Mathleaks
Använd offline
Expandera meny menu_open

Motsägelsebevis

tune
{{ topic.label }}
{{ result.displayTitle }}
{{ result.subject.displayTitle }}
navigate_next

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.
close
Community (beta)