Indirekta bevis
Hej, har svårt för att genomföra indirekta bevis.
Jag har koll på grunderna, dvs att P ska implicera Q
och att icke P ska implicera icke Q
och att dessa två är ekvivalenta osv...
Men hur genomför man själva beviset?...
Ta exempelvis uppgiften: "Visa att √2 är ett irrationellt tal." genom ett indirekt bevis
Vart börjar jag. Vilka antaganden gör jag?
Du börjar med att anta att roten ur 2 är ett rationellt tal.
Laguna skrev:Du börjar med att anta att roten ur 2 är ett rationellt tal.
Men vad sätter jag som P och Q i detta fall?
https://sv.m.wikipedia.org/wiki/Indirekt_bevis
talar bara om P, inget Q. Det finns kanske andra typer av indirekta bevis.
Laguna skrev:https://sv.m.wikipedia.org/wiki/Indirekt_bevis
talar bara om P, inget Q. Det finns kanske andra typer av indirekta bevis.
https://www.youtube.com/watch?v=fQhJsFUBu2o&pp=ygUPaW5kaXJla3RhIGJldmlz
Så här borde gå bra:
P säger "x * x = 2"
Q säger "x kan skrivas som a/b där a och b är heltal"
