Nama : Fresa Gosal Bala M

NIM : 17 504 188

Mat.Kul : Strategi Pembelajaran Matematika

PEMBUKTIAN TIDAK LANGSUNG

Sebelum membahas pembuktian tidak langsung matematika, kita harus tahu dulu beberapa
definisi dasar seperti bilangan ganjil dan genap. Definisi ini akan sering digunakan untuk
mempelajari materi pembuktian tidak langsung.

 Definisi Habis Membagi

Sebuah bilangan bulat a tidak sama dengan 0 dikatakan habis membagi sebuah bilangan
bulat b jika terdapat bilangan bulat c sedemikian hingga b=ac . Adapun a habis membagi
b ditulis dengan simbol a /b.

Bahasa sederhananya begini a habis membagi b jika tidak ada sisia alias sisanya 0.
Contoh, 2 habis membagi 6. Karena 6 dibagi 2 sama dengan 3 sisanya 0, maka dapat di
tulis 2/6 (dua habis dibagi enam).

 Definisi Bilangan Genap

Bilangan genap adalah bilangan bulat positif yang habis dibagi dengan angka 2. Bentuk
umumnya adalah n=2 k , k ∈ Z +¿ ¿.

Z+¿ ¿ adalah simbol bilangan bulat positif. Jika bilangan genap adalah bilangan yang habis
dibagi dua, artinya bilangan tersebut kelipatan(perkalian) dua.

Oleh karena itu rumus bilangan genap adalah n=2 k dengan k anggota bilangan bulat
positif.

Berapapun nilai k selama dia bilangan bulat positif, ketika dikalikan dengan 2 pasti akan
habis dibagi dua, alias sisanya nol.

 Definisi Bilangan Ganjil

Bilangan ganjil adalah bilangan bulat positif yang tidak habis dibagi dengan angka 2.
Bentuk umumnya adalah n=2 k−1 , k ∈ Z +¿¿.

Untuk lebih paham, bilangan genap itu 2,4,6 dan seterusnya. Sedangkan bilangan ganjil
berada disela-sela bilangan genap, bilangan genap itu bentuk umumnya 2 k . Berarti
bentuk 2 x−1 dan 2 x+1 merupakan bentuk bilangan ganjil.

Definisi Pembuktian Tidak Langsung

Menurut Cooney, Davis, dan Henderson (1975:313), pembuktian tak langsung adalah strategi
yang sangat hebat karena penalaran tersebut dapat digunakan untuk membuktikan kebenaran
hampir semua pernyataan.
Borrowski dan Borwein (1989:289) menyatakan bahwa : “Indirect proof is a common
mathematical term for reductio ad absurdum”. Bentuk reductio ad absordum ini dikenal juga
sebagai penalaran melalui kontradiksi. Artinya, untuk membuktikan kebenarannya pernyataan p,
maka dimisalkan negasi atau ingkaran tersebut yang terjadi yaitu ~p yang berlaku. Lalu
dibuktikan bahwa ~p ini mengarah kepada suatu kontradiksi. Karena ~p mengarah kesuatu
keadaan yang kontradiksi, maka pemisalan ~p dianggap salah. Jadi, kesimpulan bahwa p benar
seperti yang akan dibuktikan.
Pembuktian tidak langsung adalah suatu metode pembuktian pernyataan matematika dengan
menggunakan implikasi, yaitu dengan mengubah susunan kalimat.
Ada dua metode pembuktian tidak langsung, yaitu pembuktian kontrapositif dan pembuktian
kontradiksi.
Pembuktian tidak langsung biasanya digunakan apabila sebuah pernyataan matematika sulit
dibuktikan dengan menggunakan pembuktian secara langsung.
 Pembuktian Kontrapositif
Kontrapositif atau kontraposisi adalah suatu kalimat yang memiliki nilai kebenaran sama
dengan implikasi. Bentuk susunan kalimat kontraposisi adalah q → p . Simbol “
” dibaca negasi/kebalikan.
Contoh :
Implikasi p →q
Jika terjadi hujan, maka tanah akan basah

Kontraposisi q → p
Jika tanah tidak basah, maka tidak terjadi hujan.
 Pembuktian Kontradiksi
Memilki arti bertolak belakang atau berlawanan. Pembuktian kontradiksi sedikit
menguras logika memang, sama halnya implikasi ekuivalen dengan kontraposisi, ternyata
negasi/kebalikan dari implikasi ekuivalen dengan sebuah pernyataan lain.

Berikut adalah bentuk pernyataan yang ekuivalen dengan negasi dari implikasi
( p →q ) ≡ p ⋀ q

Sebuah pernyataan berupa implikasi p →q memiliki kebalikan/negasi ( p →q ). Jika

implikasinya benar maka sudah pasti negasinya salah.

Jika ingin membuktikan bahwa pernyataan p →q benar, caranya yaitu dengan

membuktikan bahwa negasinya merupakan pernyataan yang salah.

CONTOH SOAL DAN JAWABAN

1. Jika 3 n+2 bilangan ganjil, maka n bilangan ganjil. Buktikan apakah pernyataan di atas
benar!
Jawaban :
p : 3 n+2 bilangan ganjil
q : n bilangan ganjil

Bentuk ini sulit dibuktikan dengan pembuktian langsung, maka kita buktikan dengan
pembuktian tidak langsung. Bentuk pernyataan p lebih kompleks dari pernyataan q , ini
hanya ciri umum dan tidak selalu seperti itu, tapi kebanyakan demikian.
p : 3 n+2 bilangan genap
q : n bilangan genap

Bentuk kontraposisinya q → p : “Jika n bilangan genap, maka 3 n+2 bilangan genap”.

Kita akan membuktikan pernyataan kontraposisinya, jika terbukti benar maka pernyataan
yang disoal juga benar.

Kita anggap q benar, yaitu n=2 k , k ∈ Z +¿ ¿ (genap)

3 n+2=3 n+2
¿ 3 ( 2 k ) +2
¿ 2 ( 3 k ) +2
¿ 2 ( 3 k +1 )
+¿¿
3 n+2=2m , m∈ Z

Pembuktian hasil kontraposisinya adalah benar.

2. Jika 5 a+2 genap, maka a adalah bilangan genap. Buktikan!

Jawab :
p : 5 a+2 genap
q : a adalah bilangan genap

p : 5 a+2 genap
q : a adalah bilangan genap
Kontraposisinya q → p .

Kita anggap q benar, yaitu a=2 k−1 , k ∈ Z +¿¿ (ganjil)

5 a+2=5 a+2
¿ 5 ( 2 k−1 ) +2
 ¿ 10 k −5+2
¿ 10 k −3
¿ ( 10 k−2 )−1
¿ 2 ( 5 k−1 )−1
¿ 2 b−1
5 a+2=2 b−1 , b ∈ Z+ ¿¿
Terbukti benar, artinya pernyataan “Jika 5 a+2 genap, maka a adalah bilangan genap”.
3. “Jika 3 n+2 adalah bilangan ganjil, maka n bilangan ganjil”. Buktikan!
Jawab :
p : 3 n+2 bilangan ganjil
q : n bilangan ganjil
q : n bilangan ganjil

Akan dibuktikan p →q benar.

Asumsikan p ⋀ q benar, yaitu 3 n+2bilangan ganjil dan n bilangan genap.

Sekarang kita buktikan asumsinya. Diketahui n=2 k , k ∈ Z +¿ ¿ (genap)

3 n+2=3 n+2
¿ 3 ( 2 k ) +2
¿ 2 ( 3 k ) +2
¿ 2 ( 3 k +1 )
3 n+2=2m , m∈ Z +¿¿

Hasilnya berupa bilangan genap, sedangkan asumsi semula 3 n+2 itu berupa bilangan
ganjil. Sehingga nigari dari implikasi yaitu p ⋀ q merupakan pernyataan yang salah,
artinya pernyataan implikasi p →q merupakan pernyataan yang benar.

4. “Jika 5 a+2 genap, maka a adalah bilangan genap”. Buktikan kontradiksi!

Jawab :
p : 5 a+2 genap
q : a adalah bilangan genap
q : a adalah bilangan ganjil

Akan buktikan p →q benar.

Asumsikan p ⋀ q benar, yaitu 5 a+2 bilangan genap dan a adalah bilangan ganjil.
a=2 k−1 , k ∈ Z +¿¿ (ganjil)
5 a+2=5 a+2
¿ 5 ( 2 k−1 ) +2
¿ 10 k −5+2
¿ 10 k −3
¿ ( 10 k−2 )−1
¿ 2 ( 5 k−1 )−1
¿ 2 b−1
5 a+2=2 b−1 , b ∈ Z+ ¿¿
Hasilnya bilangan ganjil, kontrsadiksi denganv asumsi awal yang menyatakan bahwa
5 a+2 genap. Artinya pernyataan p ⋀ q salah, yang benar adalah p →q yaitu “Jika 5 a+2
genap, maka a adalah bilangan genap”.