Ero sivun ”Satunnainen esimerkki induktiotodistuksesta” versioiden välillä

Satunnainen esimerkki induktiotodistuksesta (näytä wikiteksti)

2 merkkiä lisätty , 16 vuotta sitten

ei muokkausyhteenvetoa

254

muokkausta

@@ Rivi 5: / Rivi 5: @@
 = 1
-Kakkosvaihe: oletetaan että toimii kun n = x jollekin x (ja me tiedetään että jollakin x se toimii koska just todistettiin että vaikkapa x = 0 toimii). Todistetaan tän pohjalta että toimii myös kun n = x + 1 eli yhtä isompi.
+Kakkosvaihe: oletetaan että toimii kun n = x jollekin x (ja me tiedetään että
+jollakin x se toimii koska just todistettiin että vaikkapa x = 0 toimii).
+Todistetaan tän pohjalta että toimii myös kun n = x + 1 eli yhtä isompi.
 Oletuksen perusteella me tiedetään että (korvataan n = x)