Tümevarım: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
k r2.6.4) (Bot: Ekleniyor: ta:தொகுப்புவழிப் பகுத்தறிதல் |
Değişiklik özeti yok |
||
3. satır:
Örneğin; uçurumdan ölmez
Uçurumdan düşen son koyun da öldü. O halde uçurumdan düşen koyun ölür. Tümevarım ilkesine göre tüm koyunların öldüğü şöyle ispatlanır: p(1); ilk koyun kesin öldü, p(k);k numaralı koyunun ölmüş olduğu varsayılır, p(k + 1); k numaralı koyundan bir sonra gelen k + 1 numaralı koyunun öldüğü [[ispat]] edilirse tüm koyunların öldüğü ispat edilmiş olur.
Matematikte daha çok tamsayı değişkenler içeren önermelerin ispatında tümevarımı kullanılır. Örnek olarak; 1 den n ye kadar olan doğal sayıların toplamının n(n + 1)/2 olduğu tümevarımla şöyle ispatlanır:
|