A.

Bukti
Bukti (proof) adalah argumen dari suatu premis ke suatu kesimpulan yang
dapat meyakinkan orang lain agar dapat menerima kesimpulan baru tersebut.
Pembuktian dalam matematika harus didasarkan pada dua hal yang sangat
penting. Yang pertama pembuktian itu harus didasarkan pada pernyataan serta
definisi yang jelas. Yang kedua, pembuktian tersebut harus didasarkan pada
prosedur penarikan kesimpulan yang valid.

Menyelidiki :
Putuskan yang mana di bawah ini yang merupakan bukti sah dari pernyataan
berikut:

Jika ab adalah angka genap, maka a atau b adalah genap.

1. Misalkan a dan b genapa. Yaitu, a = 2k + 1 dan b = 2m + 1 untuk

beberapa bilangan bulat k dan m. Maka ::
ab = (2k+1)(2m+1)
= 4km + 2k + 2m + 1
= 2(2km + k + m) + 1
Karena itu ab adalah ganjil.
2. Asumsikan bahwa a atau b adalah genap - katakan itu a (kasus di mana b adalah
genap identik). Yaitu, a = 2k untuk beberapa integer k. Maka :
ab = (2k)b
= 2(kb)
Jadi ab adalah genap
3. Misalkan ab adalah genap tetapi a dan b keduanya ganjil. Yaitu, ab = 2n, a = 2k + 1
dan b = 2j + 1 untuk beberapa bilangan bulat n, k, dan j. Maka :
2n = (2k+1)(2j+1)
2n = 4kj + 2k + 2j + 1
n = 2kj + K + j + 0,5
Tetapi karena 2k j + k + j adalah bilangan bulat, ini mengatakan bahwa bilangan bulat
n sama dengan non-integer, yang tidak mungkin.
 4. Biarkan ab menjadi bilangan genap, katakanlah ab = 2n, dan menjadi bilangan ganjil,
katakan a = 2k +1.
ab = (2k +1)b
2n = 2kb + b
2n-2kb = b
2(n-kb) = b

1. 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 :
Buktikan bahwa jika n bilangan bulat ganjil, maka 𝑛2 bilangan bulat ganjil.
Bukti :
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 = (2k + 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. 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 :
Buktikan bahwa jika 3n + 2 bilangan ganjil, maka n bilangan ganjil.
Bukti :
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. 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 :
a. Buktikan bahwa jika 5n+4 bilangan bulat ganjil maka n bilangan bulat ganjil.
bukti:
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” 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 = 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.

4. Bukti dengan (counter) Contoh

Hampir Tidak pernah membuktikan pernyataan hanya dengan sebuah contoh. Tentunya
tidak ada pernyataan yang terbukti di atas yang dapat dibuktikan melalui contoh. Ini karena di
masing-masing kasus kami mencoba membuktikan bahwa sesuatu berlaku dari semua
bilangan bulat. Kami mengklaim itu 𝑛2 bahkan menyiratkan bahwa n adalah genap, tidak
peduli bilangan bulat apa pun yang kita pilih. Menunjukkan bahwa ini berfungsi untuk n = 4
bahkan tidak cukup dekat.
Ini tidak bisa cukup ditekankan. Jika Anda mencoba untuk membuktikan pernyataan dari
bentuk ∀𝑥 𝑃(𝑥) Anda benar-benar tidak bisa membuktikan ini dengan sebuah contoh.
Namun, pernyataan eksistensial dapat dibuktikan dengan cara ini. Jika kita ingin
membuktikan bahwa ada bilangan bulat n sehingga 𝑛2 − n + 41 bukan bilangan prima, yang
perlu kita lakukan adalah menemukan bilangan bulat. Ini mungkin tampak seperti hal konyol
yang ingin dibuktikan sampai Anda mencoba beberapa nilai untuk n.

Sejauh ini kami hanya mendapatkan bilangan prima. Anda mungkin tergoda untuk
menduga, "Untuk semua bilangan bulat positif n, angka 𝑛2 − n + 41 adalah bilangan prima."
Jika Anda ingin membuktikan ini, Anda perlu menggunakan bukti langsung, bukti dengan
alat kontrasepsi, atau lainnya gaya pembuktian, tetapi tentu saja tidak cukup untuk
memberikan bahkan 7 contoh. Faktanya, kita dapat membuktikan dugaan ini salah dengan
membuktikan negasinya: "Ada bilangan bulat positif n sehingga 𝑛2 − n + 41 tidak prima."
Karena ini adalah pernyataan eksistensial, cukuplah untuk menunjukkan bahwa memang ada
memang ada nomor seperti itu.

Bahkan, kita dapat dengan cepat melihat bahwa n = 41 akan memberikan 412 yang tentu
saja tidak prima. Anda mungkin mengatakan bahwa ini adalah contoh berlawanan dengan
dugaan bahwa 𝑛2 − n + 41 selalu prima. Karena begitu banyak pernyataan dalam
matematika bersifat universal, membuat negasi mereka eksistensial, kita sering dapat
membuktikan bahwa pernyataan itu salah (jika itu) dengan memberikan contoh tandingan.

contoh :

Misalkan ada konjektur berikut :

𝑛
”Untuk setiap n bilangan asli maka 22 + 1 merupakan bilangan prima”

Bukti. Pernyataan ini berlaku untuk setiap bilangan asli n. Tapi bila bila ditemukan satu
𝑛0
bilangan asli, katakan 𝑛0 dan 22 + 1 tidak prima (komposit) maka konjektur ini tidak benar.
Diperhatikan beberapa kasus berikut, untuk n = 1 diperoleh bilangan 5, n = 2 menghasilkan
17, n = 3 menghasilkan 257 dan n = 4 menghasilkan 65537. Keempat bilangan ini prima.
Coba perhatikan untuk n = 5, diperoleh 225 + 1 = 4294967297 = (641)(6700417). Ternyata
bukan prima. Nah, n = 5 merupakan contoh penyangkalan (counter example). Akhirnya
disimpulkan bahwa konjektur ini salah.

5. Proof by Cases
Kami dapat terus dan terus tentang gaya bukti yang berbeda (kami bahkan belum
menyebutkan bukti induksi atau kombinatorial di sini), tetapi sebaliknya kami akan
mengakhiri dengan satu teknik akhir yang berguna: bukti berdasarkan kasus. Idenya adalah
untuk membuktikan bahwa P benar dengan membuktikan bahwa P → Q dan ¬Q → P untuk
beberapa pernyataan Q. Jadi tidak peduli apa, apakah Q benar atau tidak, kita tahu bahwa P
benar. Bahkan, kita bisa menggeneralisasi ini. Misalkan kita ingin membuktikan P. Kita tahu
bahwa setidaknya satu dari pernyataan 𝑄1, 𝑄2 ,....., 𝑄𝑛 benar. Jika kita dapat menunjukkan
bahwa 𝑄1 → 𝑃 dan 𝑄2 → 𝑃 dan seterusnya sampai ke 𝑄𝑛 → 𝑃, maka kita dapat
menyimpulkan P. Yang penting adalah kita ingin memastikan bahwa salah satu kasus kita
(Qi) pasti benar apa pun yang terjadi.

Contoh:

Buktikan: Untuk bilangan bulat apa pun n, jumlahnya (𝑛3 − 𝑛 ) merupakan bilangan genap.

Bukti. Kami mempertimbangkan dua kasus: jika n adalah genap atau jika n ganjil.

Kasus 1: n genap. Kemudian n = 2k untuk beberapa bilangan bulat k. Ini memberi

𝑛3 − 𝑛 = 8𝑘 3 − 𝑛

= 2(4𝑘 3 − 𝑘)

dan karena 4𝑘 3 − 𝑘 adalah bilangan bulat, ini mengatakan bahwa 𝑛3 − 𝑛 adalah genap.

Kasus 2: n aneh. Kemudian n = 2k +1 untuk beberapa bilangan bulat k. Ini memberi

𝑛3 − 𝑛 = (2𝑘 + 1)3 − (2𝑘 + 1)

= 8𝑘 3 + 6𝑘 2 + 6𝑘 + 1 − 2𝑘 − 1

= 2(4𝑘 3 + 3𝑘 2 + 2𝑘)

dan karena 4𝑘 3 + 3𝑘 2 + 2𝑘 adalah bilangan bulat, kita melihat bahwa 𝑛3 − 𝑛 bahkan lebih
lagi. Karena 𝑛3 − 𝑛 bahkan dalam kedua kasus lengkap, kita melihat bahwa 𝑛3 − 𝑛 memang
selalu sama.