Tümevarım: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok |
Değişiklik özeti yok |
||
1. satır:
P(n) bir açık önerme, a önermeyi doğrulayan en küçük sayma sayısı olmak üzere, P(n) nin doğruluğunu göstermek için;
* P(a) nın doğru olduğu gösterilir.
* P(n) nin doğru olduğu kabul edilir.
|