mathleaks.se mathleaks.se Startsida kapitel home Startsida Historik history Historik expand_more
{{ item.displayTitle }}
navigate_next
Ingen historik än!
Statistik equalizer Statistik expand_more
Student
navigate_next
Lärare
navigate_next
Expandera meny menu_open Minimera
{{ filterOption.label }}
{{ item.displayTitle }}
{{ item.subject.displayTitle }}
arrow_forward
Inget resultat
{{ searchError }}
search
menu_open home
{{ courseTrack.displayTitle }}
{{ statistics.percent }}% Logga in för att se statistik
{{ printedBook.courseTrack.name }} {{ printedBook.name }}
search Använd offline Verktyg apps
Logga in account_circle menu_open

Direkt och indirekt bevis

Begrepp

Direkt och indirekt bevis

Många bevis går ut på att visa att ett påstående, P, leder till ett annat påstående, Q, dvs. att Beroende på vad påståendena är kan det finnas olika sätt att bevisa en sådan implikation, och den viktiga skillnaden mellan metoderna är hur man börjar beviset. Det mest intuitiva är antagligen att Detta kallas för ett direkt bevis. Ibland kan det dock vara lättare att bevisa att P Q om man skriver om implikationen som en annan, matematiskt likvärdig, implikation och visar den istället. Exempelvis kan man negera både P och Q och byta plats på dem: Man kan alltså bevisa att P leder till Q även genom att Detta kallas för ett indirekt bevis.