Pembuktian langsung adalah metode pembuktian yang menggunakan alur

maju. Mulai dari pendefinisian sampai menghasilkan kesimpulan.

Gampangnya sih, “kalau A maka B dan kalau B maka C” hehe. Nah, untuk
menggunakan alur maju, maka pernyataan-pernyataan sebelumnya harus
benar. Coba deh kamu buktikan pernyataan ini.

“Jumlah dari dua bilangan genap adalah bilangan genap”

Ya... kalau kita pikir-pikir, ya pasti sih, 2 + 2 = 4 dan 4 + 10 = 14. Tapi

gimana ya buat bisa membuktikan kalau pernyataan itu berlaku buat
semua bilangan genap? Coba perhatikan deh gambar di bawah.

Jadi pertama kamu definisikan dulu tuh bilangan genap itu seperti apa. Bila
definisinya sudah benar, lanjut ke pernyataan selanjutnya, maka
penjumlahan kedua bilangan itu akan seperti apa. Kamu juga butuh sedikit
memanipulasi penjumlahan itu agar bisa mendapat bentuk yang diinginkan.

Setelah itu, lanjut deh ke kesimpulan. Ingat lho, kesimpulannya harus

berdasarkan pernyataan sebelumnya. Apakah pembuktian ini berlaku
untuk seluruh bilangan genap? Iya, karena di awal sudah disebutkan kalau
m dan n adalah bilangan genap sembarang.

Kontraposisi adalah salah satu metode pembuktian tidak langsung.

Kontraposisi memanfaatkan salah satu prinsip dalam logika matematika
yaitu
Artinya, kalau mau membuktikan pernyataan p akan menghasilkan
pernyataan q itu benar, maka buktikan saja bila bukan q maka akan
menghasilkan bukan p. Untuk memahami lebih lanjut coba deh buktikan

“Bila n bilangan bulat dan 7n + 9 bilangan genap, maka n bilangan ganjil”

Gimana nih membuktikannya pakai kontraposisi? Misalnya pernyataan p

adalah 7n + 9 bilangan genap dan pernyataan q adalah n bilangan
ganjil. Maka yang kita buktikan adalah bila n bukan bilangan ganjil
(bilangan genap), maka 7n + 9 bukan bilangan genap (bilangan ganjil).
Coba deh lihat gambar di bawah.

Terbukti kan bila n bukan bilangan ganjil maka 7n + 9 juga bukan bilangan
genap? Secara nggaklangsung dapat disimpulkan deh bila n bilangan bulat
dan 7n + 9 bilangan genap maka n bilangan ganjil hehe.

Kontradiksi ini juga termasuk pembuktian tidak langsung, Squad. Kita

memanfaatkan logika matematika
 Jika p → q bernilai benar padahal q salah, maka p salah

Hmm gimana tuh maksudnya? Coba deh kita buktikan pernyataan ini
dengan kontradiksi.

“Bila n bilangan bulat dan n bilangan genap maka 7n + 9 bilangan ganjil”

Nah kita misalkan dulu pernyataan p adalah n bilangan genap dan

pernyataan q adalah 7n + 9 adalah bilangan ganjil. Maka dengan
kontradiksi, kita buktikan nih misalnya pernyataan n bukan bilangan
genap (bilangan ganjil) maka 7n + 9 adalah bilangan ganjil benar, akan
muncul suatu kontradiksi. Coba deh perhatikan gambar di bawah.

Lihat kan ternyata ada kontradiksi bila n adalah bilangan ganjil? Maka
secara tidak langsung, pernyataan bila n bilangan genap maka 7n + 9
bilangan ganjil benar.

Induksi itu digunakan untuk membuktikan suatu pernyataan berlaku untuk

setiap bilangan asli, Squad. Bagaimana langkah-langkah melakukan
induksi matematika?