Nama : Devy Hasanah

Nim : 19029078
Matkul : Teori Bilangan
Dosen : Dra.Arnellis,M.Si
 TUGAS 1 “BUKTI LANGSUNG”

Bukti langsung ini biasanya diterapkan untuk membuktikan teorema yang berbentuk
implikasi p⇒ q. Di sini p sebagai hipotesis digunakan sebagai fakta yang diketahui atau
sebagai asumsi.

Selanjutnya, dengan menggunakan p kita harus menunjukkan berlaku q. Secara logika

pembuktian langsung ini ekuivalen dengan membuktikan bahwa pernyataan p⇒q benar
dimana diketahui p benar.
Contoh soal :

Buktikan, jika x bilangan ganjil maka x^2 bilangan ganjil.

Bukti.
Diketahui x ganjil, jadi dapat ditulis sebagai x = 2n - 1 untuk suatu bilangan bulat n.
Selanjutnya,
x^2 = (2n - 1)^2 = 4n^2 - 4n + 1 = 2 (2n^2 - 2) +1 = 2m + 1
Karena m merupakan bilangan bulat maka disimpulkan x^2 ganjil.
Pembuktian langsung adalah metode pembuktian yang menggunakan alur maju.
Mulai dari pendefinisian sampai menghasilkan kesimpulan. Untuk menggunakan alur
maju, maka pernyataan sebelumnya harus benar.
Contoh :
Buktikan bahwa “Jumlah dari dua bilangan genap adalah bilangan genap.“
Bukti :
Misalnya ada bilangan genap sebarang m dan n. Dari definisi bilangan genap, m dan n
dapat ditulis m = 2k, dengan k adalah sutu bilangan bulat.
n = 2i dengan I adalah sutu bilangan bulat.
m+n dapat ditulis jadi 2 kali satu bilangan bulat. Sesuai definisi bilangan genap, maka
m+n bilangan genap juga. Terbukti
TERIMA KASIH