KB 4.

Induksi Matematika

Rumusan formula konsep bilangan asli: Postulat Peano

1. 1 adalah anggota Ν.
2. Setiap anggota 𝑥 ∈ Ν mempunyai pengikut 𝑝(𝑥) ∈ Ν.
3. Dua bilangan di Ν yang berbeda mempunyai pengikut yang berbeda.
4. 1 bukan pengikut bilangan 𝑥 ∈ Ν yang manapun.
5. Jika subhimpunan 𝑆 ⊆ Ν memuat 1 dan pengikut dari setiap bilangan di 𝑆, maka 𝑆 = Ν.

Induksi Matematika merupakan teknik pembuktian yang baku dalam matematika dan
merupakan salah satu metoda/alat yang digunakan untuk membuktikan suatu
pernyataan matematika, khususnya pernyataan-pernyataan yang berkaitan dengan
bilangan asli atau bilangan bulat positif.

 Prinsip Induksi Matematis

Misalkan adalah suatu barisan proposisi (pernyataan) yang memenuhi kedua
persyaratan ini:
(i) adalah benar (biasanya 𝑁 adalah 1).
(ii) Kebenaran mengimplikasikan kebenaran
Maka, adalah benar untuk setiap bilangan bulat 𝑛 ≥ 𝑁.