N

E S CTIO

R I D
U
IS
N A I N
S
I ICA L
LY
IMA T A
L
E E N
R M
P AT H L A
M

E A
R
 ALAT PEMBUKTIAN YANG
MATHEMATICAL INDUCTION
SERING DIGUNAKAN DALAM
MENUNJUKKAN KEBENARAN
PERNYATAAN YANG
MELIBATKAN BILANGAN ASLI

  Jika dan , maka sehingga untuk setiap

  Misal:
 
Apakah kalian bisa menemukan elemen
terkecil masing-masing , C? Jika iya,
sebutkan!
Jika tidak, mengapa?
   Jika , dengan dua sifat:

BUKTI (TAK LANGSUNG)

 
Andaikan memenuhi dua sifat (1), (2) tetapi .
Artinya .
Dengan dan WOP, memuat elemen terkecil,
sebut .
Selanjutnya, dengan sifat (1), artinya pastilah
maka
Karena maka .
Berikutnya, dengan hipotesis (2), dengan ,
maka .
Padahal berarti
Terjadi kontradiksi. Artinya pengandaian salah.
Haruslah
   Another version of PIM, by letting

  Untuk setiap , Misal adalah suatu pernyataan dalam

(1)atau
  (1’) disebut langkah Basis, (2) atau (2’) disebut langkah Induksi
“JIKA Benar” adalah HIPOTESIS dari Induksi.
Selalu diASUMSIkan BENAR di awal langkah INDUKSI

 
MUNGKINKAH ADA PERNYATAAN yang bernilai BENAR
tidak mulai dari “” tapi untuk yang lain?
  Berarti
pada langkah BASIS tidak dimulai
tapi dimulai dari
dimana ini adalah awal dari bernilai benar
Contoh (a)

  Bukti: (Versi Himpunan)

Misalkan
Akan dibuktikan artinya benar untuk setiap .
Kita perlu mengklarifikasi bahwa kondisi (1) dan (2) terpenuhi.
(1)Perhatikan bahwa,
[kita perlu buktikan untuk n=1, pernyataan benar]
Artinya
(2) Kita asumsikan , akan dibuktikan
, artinya
Dengan menambahkan kedua ruas dengan

Dari pernyataan ini, diperoleh

Berdasarkan (1) dan (2) maka dengan PIM diperoleh [Proved]
Contoh (a)

Bukti:
  (Versi Pernyataan)
Misalkan untuk
Akan dibuktikan benar untuk setiap .
Kita perlu mengklarifikasi bahwa kondisi (1’) dan (2’) terpenuhi.
(1’) Perhatikan bahwa,
[kita perlu buktikan untuk n=1, pernyataan benar]
Artinya benar.
(2’) Kita asumsikan benar, akan dibuktikan benar
, artinya
Dengan menambahkan kedua ruas dengan

Dari pernyataan ini, diperoleh benar

Berdasarkan (1’) dan (2’) maka dengan PIM diperoleh benar untuk setiap
Proved
 Contoh (d)

kti: (Versi
  Pernyataan)
salkan untuk
an dibuktikan benar untuk setiap .
a perlu mengklarifikasi bahwa kondisi (1’) dan (2’) terpenuhi.
) Perhatikan bahwa,
[kita perlu buktikan untuk n=3, pernyataan benar]
Artinya benar.
) Kita asumsikan untuk , benar, akan dibuktikan benar
, artinya
Dengan mengalikan kedua ruas dengan .

[karena ]

ri pernyataan ini, diperoleh benar

rdasarkan (1’) dan (2’) maka dengan PIM diperoleh benar untuk setiap
n
oved
 Contoh: Setiap bilangan dapat dinyatakan sebagai perkalian satu atau lebih bilangan
prima.
Bukti: (Versi Pernyataan)
Misalkan untuk
Akan dibuktikan benar untuk setiap
Kita perlu mengklarifikasi bahwa kondisi (1’’) dan (2’’) terpenuhi.
(1’’) Perhatikan bahwa,
Jadi, 2 adalah hasil kali satu bilangan prima, yaitu [kita perlu buktikan untuk n=2,
pernyataan benar]
Artinya benar.
(2’) Kita asumsikan untuk , benar,
akan dibuktikan benar
, artinya
Untuk , dapat diperoleh 2 kasus yaitu bilangan prima dan bukan.
Saat prima maka sudah terbukti benar.
Saat tidak prima, maka , dimana
Artinya
Dari pernyataan ini, diperoleh benar
Berdasarkan (1’) dan (2’) maka dengan PIM diperoleh benar untuk setiap
Dan
Proved
 G Group Task:
IN Tugas 3
T
U E
E
Kerjakan minimal
YOE X T
M
5 nomor dari exc sec 1.2 hal 15

N K N
A OU
THE E Y
S