Proposisi tentang Bilangan Bulat
Dalam matematika diskrit maupun ilmu komputer, kita sering menemukan pernyataan atau proposisi yang berkaitan dengan bilangan bulat. Proposisi semacam ini biasanya menyampaikan pola atau sifat khusus dari bilangan bulat, dan cukup sering dijadikan dasar untuk pembuktian logis yang kuat.
Prinsip Induksi Sederhana
Induksi matematika adalah salah satu metode pembuktian yang sering digunakan dalam matematika diskrit, terutama ketika kita ingin menunjukkan bahwa suatu pernyataan berlaku untuk semua bilangan bulat positif.
Prinsip Induksi yang Dirampatkan
Kadang, kita tidak selalu ingin membuktikan bahwa suatu pernyataan benar untuk semua bilangan bulat positif yang dimulai dari 1. Ada kalanya kita hanya ingin menyatakan bahwa pernyataan tersebut benar mulai dari suatu bilangan tertentu, misalnya mulai dari nā ke atas.
Prinsip Induksi Kuat
Dalam beberapa kasus, pendekatan induksi biasa belum cukup kuat untuk membuktikan suatu pernyataan matematika. Di sinilah kita membutuhkan versi yang lebih mantap: prinsip induksi kuat (strong induction).