Anda di halaman 1dari 10

MAKALAH LOGIKA ELEMENTER

Pembuktian Langsung dan Tak Langsung

Disusun oleh :

1. Devita Putri Sujarwanti 2017-84-202-005


2. Nani Fahmawati 2017-84-202-009
3. Ucok Friadi 2017-84-202-013
4. Tri Harjiyanto 2017-84-202-016

Jurusan Pendidikan Matematika


Fakultas Keguruan Dan Ilmu Pendidikan
Universitas Musamus
Merauke
2019
KATA PENGANTAR

Puji syukur kiami panjatkan kehadirat Tuhan Yang Maha Esa, karena atas berkat dan
rahmat-Nya sehingga kami dapat menyelesaikan tugas ini. Kepenulisan ini merupakan tugas
mata kuliah LOGIKA ELEMENTER dengan dosen mata kuliah Bapak Sadrack Luden
Pagiling, S.Pd, M.Pd dalam bentuk makalah.

Kami mengucapkan terima kasih kepada semua pihak yang telah membantu sehingga
makalah ini dapat diselesaikan tepat pada waktunya. Makalah ini masih jauh dari sempurna,
oleh karena itu, kritik dan saran yang bersifat membangun sangat kami harapkan demi
sempurnanya makalah ini.

Semoga makalah ini memberikan informasi bagi masyarakat dan bermanfaat untuk
pengembangan wawasan dan peningkatan ilmu pengetahuan bagi kita semua.

Merauke, 23 Oktober 2019

Penyusun

ii
DAFTAR ISI

KATA PENGANTAR ............................................................................................................................ ii


DAFTAR ISI.......................................................................................................................................... iii
BAB I PENDAHULUAN ....................................................................................................................... 1
A. Latar Belakang ............................................................................................................................ 1
BAB II PEMBAHASAN ........................................................................................................................ 2
A. Pembuktian Langsung ................................................................................................................. 2
B. Pembuktian Tidak Langsung Dengan Kontraposisi .................................................................... 3
C. Pembuktian Tidak Langsung Dengan Kontradiksi ..................................................................... 4
BAB III PENUTUPAN........................................................................................................................... 6
A. Kesimpulan ................................................................................................................................. 6

iii
BAB I
PENDAHULUAN

A. Latar Belakang
Pembuktian langsung dalam matematika dilakukan dengan menguraikan premis
dengan dilandasi oleh definisi, fakta, aksioma yang ada untuk sampai pada suatu kesimpulan
(konklusi). Pembuktian tidak langsung atau pembuktian dengan kemustahilan (reductio ad
absurdum) yang dibahas ada 2 cara yaitu kontraposisi dan kontradiksi. Pembuktian tidak
langsung kontraposisi digunakan untuk membuktikan pernyataan implikasi. Untuk
membuktikan pernyataan implikasi kita cukup membuktikan kontraposisi dari implikasi
pernyataan tersebut. Pembuktian tidak langsung dengan kontradiksi dilakukan dengan
mengandaikan konklusi yang salah dan menemukan suatu hal yang bertentangan dengan
fakta, aksioma, atau teorema yang ada. Pengandaian konklusi salah tidak bisa diterima dan
akibatnya konklusi yang ada benar berdasarkan premis yang ada.

A. Rumusan Masalah

Adapun rumusan masalah dari makalah kami adalah sebagai berikut.

1. Apa yang dimaksud dengan Pembuktian Langsung ?


2. Apa yang dimaksud dengan Pembuktian Tak Langsung Dengan Kontraposisi ?
3. Apa yang dimaksud dengan Pembuktian Tak Langsung Dengan Kontradiksi ?

B. Tujuan
Adapun Tujuan dari makalah kami adalah sebagai berikut.
1. Untuk mengetahui yang dimaksud dengan Pembuktian Langsung ?
2. Untuk mengetahui yang dimaksud dengan Pembuktian Tak Langsung Dengan
Kontraposisi ?
3. Untuk mengetahui yang dimaksud dengan Pembuktian Tak Langsung Dengan
Kontradiksi ?
BAB II
PEMBAHASAN

A. Pembuktian Langsung
Pembuktian langsung adalah pembuktian suatu kalimat atau sifat matematika tanpa
mengubah susunan kalimat tersebut. Dengan kata lain untuk membuktikan kebenaran
pernyataan implikasi p → q . Kita berangkat dengan memisalkan p benar, maka harus
dibuktikan bahwa q juga benar.
Contoh :

1) Buktikan bahwa jika n bilangan bulat ganjil, maka 𝑛2 bilangan bulat ganjil.
Pembahasan :
Kita akan membuktikan pernyataan implikasi p → q, dengan :
p : Jika n bilangan bulat ganjil
q : 𝑛2 bilangan bulat ganjil
Mula-mula kita misalkan bahwa p benar, yaitu n merupakan bilangan bulat ganjil, akan
dibuktikan bahwa 𝑛2 bilangan bulat ganjil. Karena n bilangan bulat ganjil, maka kita bisa
tuliskan sebagai n = 2k + 1, untuk semua bilangan bulat k. Selanjutnya kita perhatikan 𝑛2 =
(2𝑘 + 1)2 = 4𝑘2+ 4k + 1 = 2(2𝑘2 + k) + 1. Kita misalkan m = 2𝑘2 + k , sehingga menjadi : 𝑛2
= 2m + 1 (ini merupakan bentuk dari bilangan bulat ganjil). Jadi pernyataan tersebut terbukti.

2) Buktikan bahwa jika a bilangan ganjil dan b bilangan genap, maka 3𝑎2 – b + 1 adalah
bilangan genap.
Pembahasan :
Kita akan membuktikan pernyataan implikasi p → q, dengan :
p : a bilangan ganjil dan b bilangan genap
q : 3𝑎2 – b + 1 adalah bilangan genap
Mula mula kita misalkan p benar, yaitu a bilangan ganjil dan b bilangan genap, akan
dibuktikan bahwa 3𝑎2 – b + 1 adalah bilangan genap. Karena a bilangan ganjil, dapat
dituliskan sebagai a = 2k + 1 , dan karena b bilangan genap, dapat dituliskan sebagai b = 2p ,
Dimana k dan p bilangan bulat. Selanjutnya perhatikan 3𝑎2 – b + 1 = 3(2𝑘 + 1)2 – 2s + 1 =
3(4𝑘2 + 4k +1) -2s + 1 = 12𝑘2 + 12k + 4 – 2s = 2(6𝑘2+ 6k – s) . Kita misalkan r = 6𝑘2+ 6k –

2
s sehingga 3𝑎2 – b + 1 = 2r (ini merupakan bentuk dari bilangan genap). Jadi pernyataan
tersebut terbukti.

B. Pembuktian Tidak Langsung Dengan Kontraposisi


Adakalanya untuk membuktikan suatu pernyataan matematis, pembuktian langsung
terasa sulit. Jika hal ini terjadi, maka kita bisa gunakan cara lain yakni pembuktian secara
tidak langsung. Pembuktian tidak langsung adalah pembuktian suatu kalimat atau sifat
matematika dengan mengubah susunan kalimat tersebut. Pada bagian ini akan dijelaskan
mengenai pembuktian tidak langsung dengan kontraposisi. Kita tahu bahwa pernyataan
implikasi p → q akan ekuivalen dengan kontraposisinya yakni ~𝑞 → ~𝑝, atau bisa kita tulis p
→ q ≡ ~𝑞 → ~𝑝 . Konsep inilah yang menjadi dasar untuk pembuktian tidak langsung dengan
kontraposisi. Disini kita berawal dengan mengasumsikan ~𝑞 benar, maka harus dibuktikan
bahwa ~𝑝 benar. Jika pernyataan kontraposisinya benar, maka pernyataan semula juga pasti
benar.
Contoh :

1. Buktikan bahwa jika 3n + 2 bilangan ganjil, maka n bilangan ganjil.


Pembahasan :
Kita akan membuktikan pernyataan implikasi p → q dengan :
p : 3n + 2 bilangan ganjil
q : n bilangan ganjil
Sepintas, pembuktian ini terasa sulit jika dibuktikan secara langsung. Maka kita ubah
pernyataan ini menjadi kontraposisinya, yaitu, “ Jika n bilangan genap, maka 3n+2 bilangan
genap”.
~𝑞 : n bilangan genap
~𝑝 : 3n + 2 bilangan genap
Mula−mula kita misalkan ~𝑞 benar, yakni n bilangan genap, akan dibuktikan bahwa ~𝑝
benar, yakni 3n + 2 bilangan genap. Karena n bilangan genap, maka bisa kita tuliskan sebagai
n = 2k, untuk semua k bilangan bulat. Selanjutnya kita perhatikan :
3n + 2 = 3(2k) + 2 = 6k + 2 = 2(3k+1). Misalkan m = 3k + 1, sehingga 3n + 2 = 2m
Jadi 3n+2 merupakan bilangan genap. Jadi telah terbukti bahwa kontraposisi
pernyataan ini benar, sehingga pernyataan semula juga terbukti benar.

3
2. Buktikan bahwa jika 𝑛3 bilangan irasional, maka n bilangan irasional.

Pembahasan :
Kontraposisi dari pernyataan tersebut adalah “ Jika n bilangan rasional, maka 𝑛3 bilangan
rasional.”
Misalkan benar bahwa n bilangan rasional, selanjutnya akan kita buktikan bahwa 𝑛3 bilangan
rasional. Karena n bilangan rasional, maka kita bisa tulis 𝑛 , , dengan p dan q bilangan

bulat dan q ≠ 0. Selanjutnya kita perhatikan :

𝑛 . Kita misalkan s = 𝑝3 dan t = 𝑞3 , sehingga :

𝑛 , dimana s dan t bilangan bulat dan t ≠ 0

Jadi 𝑛3 merupakan bilangan rasional. Jadi terbukti bahwa kontraposisi dari


pernyataan tersebut benar sehingga pernyataan semula juga terbukti benar.

C. Pembuktian Tidak Langsung Dengan Kontradiksi


Suatu pernyataan pasti memiliki nilai kebenaran yang berlawanan dengan nilai
kebenaran ingkarannya. Pembuktian tidak langsung dengan kontradiksi dimulai dengan
membuktikan bahwa ingkaran dari pernyataan implikasi tersebut salah. Dengan terbuktinya
bahwa ingkaran tersebut salah, maka pernyataan implikasi tersebut pasti benar. Kesalahan
yang diperoleh tersebut ditunjukkan oleh suatu kontradiksi. Suatu kontradiksi terjadi jika ada
suatu atau lebih pernyataan yang bertentangan. Kita bisa tuliskan sebagai :
~ (𝑝 → 𝑞) ≡ p ∩ ~ 𝑞
Dalam proses ini, kita berangkat dengan mengasumsikan p ∩ ~ 𝑞. Dari sini kita
harus menemukan r ∩ ~r, yaitu pernyataan yang selalu salah (kontradiksi). Maka p ∩
~ 𝑞 salah, dan sebaliknya 𝑝 → 𝑞 pastilah benar.
Contoh :
1. Buktikan bahwa jika 5n+4 bilangan bulat ganjil maka n bilangan bulat ganjil.
Pembahasan :
Kita akan membuktikan pernyataan implikasi 𝑝 → 𝑞, dengan :
p : 5n+4 bilangan bulat ganjil
q : n bilangan bulat ganjil

kita berawal dengan mengasumsikan ingkarannya benar, yaitu bahwa “5n+4 bilangan bulat
ganjil dan n bilangan bulat genap”m karena n bilangan genap, kita dapat tuliskan n = 2k,
dengan k bilangan bulat. Akibatnya 5n+4 = 5(2k) + 4 = 10k + 4 = 2(5k+2). Misalkan m =

4
5k+2, maka 5n+4 = 2m , yang merupakan bilangan bulat genap. Kontradiksi dengan asumsi
bahwa 5n+4 bilangan bulat ganjil. Jadi asumsi salah. Maka pernyataan semula pastilah benar.
Jadi terbukti bahwa Buktikan bahwa jika 5n+4 bilangan bulat ganjil maka n bilangan bulat
ganjil.

5
BAB III
PENUTUPAN

Kesimpulan
Pembuktian langsung adalah pembuktian suatu kalimat atau sifat matematika
tanpa mengubah susunan kalimat tersebut. Dengan kata lain untuk membuktikan
kebenaran pernyataan implikasi p → q . Kita berangkat dengan memisalkan p benar,
maka harus dibuktikan bahwa q juga benar.
Pembuktian tidak langsung adalah pembuktian suatu kalimat atau sifat
matematika dengan mengubah susunan kalimat tersebut. Pada bagian ini akan
dijelaskan mengenai pembuktian tidak langsung dengan kontraposisi.
Pembuktian tidak langsung dengan kontradiksi dimulai dengan membuktikan
bahwa ingkaran dari pernyataan implikasi tersebut salah. Dengan terbuktinya bahwa
ingkaran tersebut salah, maka pernyataan implikasi tersebut pasti benar. Kesalahan
yang diperoleh tersebut ditunjukkan oleh suatu kontradiksi. Suatu kontradiksi terjadi
jika ada suatu atau lebih pernyataan yang bertentangan.

6
Daftar pustaka
http://www.acedemia.edu/18108359/Metode-Metode_Pembuktian_Matematika