Logika Matematika
Logika Matematika
[email protected] Jurusan Informatika FMIPA Unsyiah
September 26, 2012
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Kompetensi yang diharapkan
Kompetensi Dasar: Menggunakan logika matematika. Indikator Esensial: 1
Mengidentifikasi suatu tautologi
2
Menentukan ingkaran suatu pernyataan majemuk
3
Menentukan pernyataan yang ekuivalen dengan pernyataan yang diketahui
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Logika Matematika Pernyataan adalah suatu kalimat yang bernilai benar atau salah, tetapi tidak sekaligus benar dan salah. Benar atau salahnya suatu pernyataan disebut nilai kebenaran. Nilai kebenaran suatu pernyataan tergantung pada kebenaran atau ketidakbenaran realitas yang dinyatakannya (kebenaran faktual). Pernyataan ada 2 macam, yaitu pernyataan tunggal dan pernyataan majemuk. Pernyataan majemuk yaitu gabungan dari beberapa pernyataan tunggal. Penggabungannya bisa menggunakan kata ”dan”, ”atau”, ”jika ... maka ...” atau ”...jika dan hanya jika ...”.
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh
Mana diantara kalimat berikut ini yang merupakan pernyataan: 1
7 merupakan bilangan prima
2
5 merupakan bilangan genap
3
Siapakah nama anda?
4
Apakah anda sudah shalat?
5
x + 5 = 10
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Ingkaran Ingkaran suatu pernyataan p dilambangkan dengan p atau ¬p atau p , nilai kebenarannya selalu berlawanan dengan nilai kebenaran pernyataan semula. Jika suatu pernyataan bernilai benar maka ingkaran pernyataan itu bernilai salah dan sebaliknya. Kalimat pada ingkaran atau negasi suatu pernyataan yaitu dengan menambahkan kata ”tidak benar” atau ”bukan” di tengah kalimat pada pernyataan itu. Jika dilambangkan dengan tabel kebenaran sebagai berikut; p B S
[email protected]
¬q S B Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh Tentukan ingkaran dan nilai kebenarannya dari pernyataan berikut : 1
p : Jakarta adalah ibukota Indonesia
2
q : 7 bukan bilangan prima
3
r: 2+3=6
Jawab: 1
¬p : Tidak benar Jakarta ibukota Indonesia atau Jakarta bukan ibukota Indonesia. (S)
2
¬q : 7 bilangan prima (B)
3
¬r : Tidak benar 2 + 3 = 6 atau 2 + 3 6= 6 (B).
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Konjungsi merupakan pernyataan majemuk dengan menggunakan kata hubung ”dan” , ”walaupun”, ”meskipun” atau ”tetapi”. Konjungsi dari pernyataan p dan q dilambangkan dengan ”p ∧ q”. Nilai kebenaran suatu konjungsi p ∧ q hanya akan benar jika nilai kebenaran p dan q keduanya benar. Jika dinyatakan dengan tabel kebenaran sebagai berikut : p B B S S
q B S B S
[email protected]
p∧q B S S S Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh Jika p : 5 merupakan faktor dari 100 dan q : 5 bilangan prima. Tentukan pernyataan majemuk dari : 1
p∧q
2
¬p ∧ q
3
¬(p ∧ q)
Jawab: 1
5 merupakan faktor dari 100 dan 5 bilangan prima
2
5 bukan merupakan faktor dari 100 dan 5 bilangan prima
3
Tidak benar bahwa 5 merupakan faktor dari 100 dan 5 bilangan prima
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Disjungsi merupakan pernyataan majemuk dengan menggunakan kata hubung ”atau”. Disjungsi dari pernyataan p dan q dilambangkan dengan ”p ∨ q”. Nilai kebenaran suatu disjungsi p ∨ q hanya akan salah jika nilai kebenaran p dan q keduanya salah. Jika dinyatakan dengan tabel kebenaran sebagai berikut : p B B S S
q B S B S
[email protected]
p∨q B B B S Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh Jika p : 5 merupakan faktor dari 100 dan q : 5 bilangan prima. Tentukan pernyataan majemuk dari : 1
p∨q
2
¬p ∨ q
3
¬(p ∨ ¬q)
Jawab: 1
5 merupakan faktor dari 100 atau 5 bilangan prima
2
5 bukan merupakan faktor dari 100 atau 5 bilangan prima
3
Tidak benar bahwa 5 merupakan faktor dari 100 atau 5 bukan bilangan prima
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Implikasi Implikasi merupakan pernyataan majemuk dengan menggunakan kata hubung ”Jika ...maka ...”. Implikasi dari pernyataan p dan q dilambangkan dengan ”p → q ” atau ”p ⇒ q ”. p → q dibaca ”Jika p maka q”. Pada implikasi p → q, p disebut anteseden/hipotesa/sebab dan q disebut konsekuen/konklusi/akibat. Nilai kebenaran suatu implikasi p → q hanya akan salah jika nilai kebenaran p benar dan nilai kebenaran q salah. Dalam implikasi tidak diharuskan adanya hubungan antara pernyataan p dan q. Nilai kebenarannya bergantung dari nilai kebenaran pernyataan tunggalnya.
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Implikasi
Jika dinyatakan dengan tabel kebenaran sebagai berikut : p B B S S
q B S B S
[email protected]
p→q B S B S
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh Jika p : Hari Minggu hari libur dan q : Dokter bertugas di Rumah Sakit. Nyatakan dengan kalimat majemuk dari lambang berikut ini : 1 p → q 2 ¬p → q 3 ¬q → ¬p Jawab: 1 Jika hari Minggu hari libur maka dokter bertugas di Rumah Sakit. 2 Jika hari Minggu bukan hari libur maka dokter bertugas di Rumah Sakit. 3 Jika dokter tidak bertugas di Rumah Sakit maka hari Minggu bukan hari libur.
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Implikasi Biimplikasi merupakan pernyataan majemuk dengan menggunakan kata hubung ”...jika dan hanya jika ...”. Biimplikasi dari pernyataan p dan q dilambangkan dengan ”p ↔ q” atau ” p ⇔ q”. p ↔ q dibaca ”p jika dan hanya jika q”. Atau bisa juga diartikan Jika p maka q dan jika q maka p. Nilai kebenaran suatu biimplikasi p ↔ q hanya akan salah jika nilai kebenaran p dan q berbeda atau hanya akan benar jika nilai kebenaran p dan q sama. Dalam biimplikasi tidak diharuskan adanya hubungan antara pernyataan p dan q. Nilai kebenarannya bergantung dari nilai kebenaran pernyataan tunggalnya.
[email protected]
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Implikasi
Jika dinyatakan dengan tabel kebenaran sebagai berikut : p B B S S
q B S B S
[email protected]
p↔q B S S S
Logika Matematika
Logika Matematika
Kompetensi Pernyataan Ingkaran (Negasi) Konjungsi Disjungsi Implikasi (kondisional) Biimplikasi (bikondisional)
Contoh Dari pernyataan di bawah ini, mana yang merupakan biimplikasi logis ! 1 2
x = 2 jika dan hanya jika x2 = 4. x2 − 5x + 4 < 0 jika dan hanya jika 1 < x < 4 untuk x bilangan bulat.
Jawab: 1
2
x = 2 maka P = {2} dan x2 = 4 ⇔ x = ±2 atau Q = {−2, 2}. Karena P 6= Q maka tidak logis. x2 − 5x + 4 < 0 ⇔ (x − 1)(x − 4) < 0 atau 1 < x < 4. Karena P = Q maka logis.
[email protected]
Logika Matematika
