body{margin:0;} noscript{z-index: 10000; position: fixed; display: block; height: 100%; width: 100%; background: #fff;} noscript .fa{font-size: 40px; display:block; color: #daa520;} noscript div{margin-top: 6%; padding-left: 20px; padding-right: 20px; text-align: center;} ! Du måste ha JavaScript påslaget för att använda den här webbsidan.

Rekommenderade

Tester

Ett fel uppstod, försök igen senare!

Kapitel {{ article.chapter.number }}

{{ article.number }}.

Visa mindre Visa mer

Inställningar & verktyg för lektion

	{{ 'ml-lesson-number-slides' \| message : article.intro.bblockCount }}
	{{ 'ml-lesson-number-exercises' \| message : article.intro.exerciseCount }}
	{{ 'ml-lesson-time-estimation' \| message }}

Kreditlista Bilder

{{ item.file.title }}
{{ presentation }}

Inga inlägg om filrättigheter hittades

Begrepp

Motsägelsebevis

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. $\neg$ P, är sant
försöker bevisa $\neg$ P men stöter på en motsägelse, t.ex. att $1 = 0 .$

Eftersom

\neg

P leder till något ogiltigt kan man, förutsatt att det matematiska resonemanget efter steg

1

är korrekt, dra slutsatsen att

\neg

P är falskt, och därför är P sant. Om det är en implikation A

\Rightarrow

B man ska bevisa

antar man att A och \neg B \ddot{a} r sant och visar att detta leder till en mots \ddot{a} gelse .

Det betyder att

\neg

B är falskt, dvs. B måste vara sant.

Laddar innehåll

{{ article.displayTitle }}