Selanjutnya, akan dibahas beberapa jenis metode pembuktian.

1. METODE PEMBUKTIAN LANGSUNG (DIRECT PROOF)

Untuk membuktikan teorema yang berbentuk P →Q secara langsung digunakan
pola P →Q1 →Q2 →Q3 → ⋯ →Q , dengan P mengarahkan ke kesimpulan Q 1, Q1
mengarahkan ke kesimpulan Q 2, dan seterusnya sehingga diperoleh kesimpulan Q.

Contoh:
Buktikan Teorema berikut.
Jika m bilangan ganjil, makam 2 adalah bilangan ganjil.
Bukti:
Jika m adalah suatu bilangan ganjil, maka m=2 r +1 dengan r ∈ Z .
Sehingga,
2
m 2=( 2 r +1 ) =4 r 2 +4 r+ 1=2 ( 2 r 2+2 r ) +1
Dengan demikian, m 2 adalah bilangan ganjil, untuk suatu 2 r 2+ 2r ∈ Z .

2. METODE STUDI KASUS

Dalam banyak pembuktian, alur argumen logis akan mengarahkan ke suatu
pernyataan yang melibatkan pernyatan seperti syarat S1 atau syarat S2. Jika hal ini
terjadi, seringkali bermanfaat untuk memperhatikan bukti terpisah untuk masing-
masing kasus S1 dan S2, asalkan kasus-kasus ini saling asing (mutually exclusive).
Pendekatan ini disebut bukti dengan kasus.
Contoh tipe pernyataan yang dapat mengarahkan ke bukti dengan kasus adalah :
1. >0 atau x 0.
x
2. n bilangan ganjil atau n bilangan genap.

Contoh:
Buktikan bahwa bilangan n2 +3 n+7 merupakan bilangan ganjil untuk semua n ∈ N .

Bukti:
a. Kasus 1:
Untuk n yang merupakan bilangan asli genap.
Jika n bilangan asli genap, maka n=2 k dengan k ∈ N sehingga:
n2 +3 n+7=( 2 k )2 +3 ( 2 k ) +7
¿ 4 k 2 +6 k +7
¿ 2(2 k ¿¿ 2+3 k +3)+1 ¿
2
Jadi, n +3 n+7 merupakan bilangan ganjil, untuk n bilangan asli genap.
 Perhatikan dengan memulai dari P dan Q sampai ke suatu kontradiksi
membuktikan teorema P →Q dengan menunjukkan bahwa P dan Q selalu salah.
Karena P dan Q ekuivalen logis dengan (P → Q), maka diperoleh bahwa negasi
dari teorema tersebut juga salah. Jadi, jika negasi teorema selalu salah, maka haruslah
teorema bernilai benar. Hal ini berarti metode pembuktian dengan kontradiksi
membuktikan teorema P →Q dengan membuktikan bahwa (P → Q) tidak pernah
bernilai benar.

Contoh:
Buktikan bahwa misal n adalah bilangan ganjil, maka n2 merupakan bilangan ganjil.

Bukti:
Andai n2 adalah bilangan genap.
Karena n adalah bilangan ganjil, maka n=2 k+1 dengan k ∈ Z .
Sehingga n2 =( 2 k +1 )2=4 k 2 +4 k +1=2 ( 2 k 2 +2 k ) +1adalah bilangan ganjil untuk
2 k 2 +2 k ∈ Z .
Hal tersebut kontradiksi dengan pernyataan n2 adalah bilangan genap.
Jadi, pengandaian salah.
Dengan demikian, n2 merupakan bilangan ganjil.

LATIHAN SOAL
1. Buktikan teorema berikut dengan menggunakan metode bukti langsung.
a. Jika n bilangan genap dan m bilangan ganjil, maka n+ m adalah bilangan ganjil
b. Jika n ganjil, maka n2 −1 genap.
2. Buktikan teorema berikut dengan menggunakan metode studi kasus.
Jika m dan nkeduanya genap atau m dan n keduanya ganjil, maka m+n genap.
3. Buktikan teorema berikut dengan menggunakan metode kontrapositif.
a. Jika mn ganjil, maka m ganjil dan n ganjil.
b. Jika n3 +n 2+ n+2 ganjil, maka n ganjil.
4. Buktikan teorema berikut dengan menggunakan metode kontradiksi.
1
a. Jika x >0, maka x + ≥ 2.
x
2
b. Jika n ganjil, maka n ganjil.