PEMBUKTIAN MATEMATIKA

Ukuran: px

Mulai penontonan dengan halaman:

Download "PEMBUKTIAN MATEMATIKA"

Liana Kusumo
9 tahun lalu
Tontonan:

1 PEMBUKTIAN MATEMATIKA PEMBUKTIAN LOGIKA PREDIKAT PEMBUKTIAN LANGSUNG PEMBUKTIAN TAK LANGSUNG Altien Jonathan Rindengan, S.Si, M.Kom

2 Pembuktian Logika Predikat Metode pembuktian pada dasarnya sama dengan pada logika proporsional Menggunakan dalil kesetaraan dan aturan inferensia Ditambah aturan-aturan dalam logika predikat

3 Pembuktian Logika Predikat. Contoh 1 Misalkan ada rangkaian proposisi : Setiap manusia pasti mati. Furlan adalah manusia. Oleh karena itu Furlan pasti mati. Buktikan bahwa kesimpulan ini adalah benar.

4 Pembuktian Logika Predikat. Jawab Buat predikatnya, misal : P(x) : x adalah manusia Q(x): x pasti mati Argumen soal diatas menjadi : P 1 : x [P(x) Q(x)] P 2 : P(Furlan) K : Q(Furlan)

5 Pembuktian Logika Predikat. Untuk x = Furlan, menjadi : P 1 : P(Furlan) Q(Furlan) P 2 : P(Furlan) Q(Furlan) (modus ponens) Karena kesimpulan Q(Furlan), terbukti benar.

6 Pembuktian Logika Predikat. Contoh 2 Tunjukkan bahwa pernyataan : x [P(x) -Q(x)] adalah kesimpulan dari premis-premis : x [-[-Q(x) -R(x)]] x [R(x) P(x)]

7 Pembuktian Logika Predikat. Jawab Argumen soal dapat ditulis : P 1 P 2 K : x [-[-Q(x) -R(x)]] : x [R(x) P(x)] : x [P(x) -Q(x)] Untuk suatu nilai x = e, pada P 1 berlaku : -[-Q(e) -R(e)] = -[Q(e) -R(e)] (tambahan) = -Q(e) R(e) (demorgan)

8 Pembuktian Logika Predikat. Pada P 2 berlaku : R(e) P(e) Dapat ditulis kembali : P 11 P 12 P 21 P 12 : -Q(e) : R(e) : R(e) : P(e)

9 Pembuktian Logika Predikat. Perhatikan P 11 dan P 22, berlaku : -Q(e) P(e) = P(e) -Q(e) Atau ditulis x [P(x) -Q(x)] (komutatif) Terbukti benar

10 Pembuktian Logika Predikat. Contoh 3 Ada pasien yang menyukai semua dokter. Semua pasien tidak menyukai tukang obat. Maka disimpulkan bahwa semua dokter pasti bukan tukang obat Buktikan kebenaran dari argumen ini.

11 Pembuktian Logika Predikat. Jawab P(x) : x adalah pasien Q(y) : y adalah dokter R(y) : y adalah tukang obat S(x,y) : x suka y P 1 : x [P(x) y (Q(y) S(x,y)] P 2 : x [P(x) y (R(y) -S(x,y)] K : y [Q(y) -R(y)]

12 Pembuktian Logika Predikat. Untuk suatu nilai x=e berlaku : P 1 : [P(e) y (Q(y) S(e,y)] P 2 : [P(e) y (R(y) -S(e,y)] Dapat ditulis : P 11 : P(e) P 12 : y (Q(y) S(e,y)) P 21 : P(e) P 22 : y (R(y) -S(e,y)) = y (S(y) -R(e,y)) (kontrapositif)

13 Pembuktian Logika Predikat. Perhatikan P 12 dan P 22 : P 12 : y (Q(y) S(e,y)) P 22 : y (S(e,y) -R(y)) y (Q(y) -R(y)) (silogisme) Terbukti benar karena K : y [Q(y) -R(y)]

14 Pembuktian Logika Predikat. Latihan Tunjukkan bahwa pernyataan : x [F(x) -S(x)] adalah kesimpulan dari premis-premis : x (F(x) S(x)) y (M(y) W(y)) y(m(y) -W(y))

15 Pembuktian Langsung Misalkan p dan q adalah proposisi. Pembuktian langsung p q (p implikasi logik ke q) adalah dengan mengkonstruksi proposisi-proposisi r 1, r 2,, r n, sedemikian sehingga p r 1, r 1 r 2, r 2 r 3,, r n q

16 Pembuktian Langsung. Contoh 4 Buktikan bahwa kuadrat bilangan ganjil adalah juga bilangan ganjil.

17 Pembuktian Langsung. Jawab Misalkan p : n bilangan ganjil q : n 2 bilangan ganjil p : n bilangan ganjil r 1 : n = 2k + 1, k Z r 2 : n 2 = (2k + 1) 2 r 3 : n 2 = 4k 2 + 4k + 1 r 4 : n 2 = 2(2k 2 + 2k) + 1 r 5 : n 2 = 2m + 1, m=(2k 2 + 2k) Z q : n 2 bilangan ganjil.

18 Conditional Proof Conditional proof adalah pembuktiam proposisi yang berbentuk implikasi. Contoh 5 Buktikan, jika m adalah bilangan bulat genap dan n bilangan bulat ganjil maka m + n adalah bilangan bulat ganjil.

19 Conditional Proof. Jawab Misalkan m = 2k, k Z n = 2j + 1, j Z m + n = 2k + 2j + 1 = 2(k +j) + 1 = 2 p +1, p Z

20 Pembuktian Tak Langsung Ada dua jenis pembuktian tak langsung yaitu : (1) Pembuktian Kontrapositif (2) Pembuktian Kontradiksi Kedua jenis pembuktian ini dimulai dengan memisalkan kesimpulan q salah, dengan kata lain memisalkan q benar.

21 Pembuktian Tak Langsung. 1. Pembuktian Kontrapositif Menurut aturan kontrapositif, menunjukkan kebenaran proposisi p q sama dengan menunjukkan - q -p. Contoh 6 Buktikan, jika n 2 genap maka n genap untuk n bilangan bulat.

22 Pembuktian Tak Langsung. Jawab Misalkan p : n 2 genap -p : n 2 ganjil q : n genap -q : n ganjil maka p q : jika n 2 genap maka n genap setara dengan - q -p : jika n ganjil maka n 2 ganjil proposisi ini sudah dibuktikan pada contoh 1 tadi.

23 Pembuktian Tak Langsung. 2. Pembuktian Kontradiksi Pada pembuktian kontradiksi, akan dimulai dengan memisalkan q salah dan selanjutnya ditunjukkan terdapat pernyataan yang kontradiksi sehingga disimpulkan haruslah q benar. Contoh 7 1 Misalkan a bilangan real, jika a > 0 maka a > 0.

24 Pembuktian Tak Langsung. Jawab Anggap pernyataan a > 0 benar dan 1 a > 0 salah. Proposisi ini akan menjadi a > 0 dan 0. Berdasarkan sifat perkalian diperoleh 1 a a( ) Akan kontradiksi dengan kenyataan bahwa 1>0. 1 Jadi haruslah > 0. a 1 a

dokumen-dokumen yang mirip

PEMBUKTIAN MATEMATIKA

PEMBUKTIAN MATEMATIKA LOGIKA INFERENSIA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Kata inferensia digunakan untuk menyatakan sekumpulan premis yang diikuti dengan kesimpulan. Infrensia yang sahih