Anda di halaman 1dari 5

Logika Matematika 1. Pernyataan dan Ingakaran Pernyataan a.

Pernyataan Kalimat adalah pernyataan yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. Ada dua jenis kalimat matematika, yaitu : Kalimat tertutup, merupakan pernyataan yang nilai kebenarannya sudah pasti. Kalimat terbuka, merupakan pernyataan yang nilai kebenarannya belum pasti. Contoh soal : 1. Dalam suatu survey diperoleh kesimpulan Setiap mahasiswi fakultas sastra berwajah cantik. Sesuai dengan hasil survey, manakah dari pernyataan berikut yang benar ? A. Setiap mahasiswa yang cantik adalah mahasiswi fakultas sastra. B. Terdapat seorang mahasiswi fakultas sastra yang tidak cantik. C. Mahasiswi yang tidak cantik bukan mahasiswi fakultas sastra. D. Mahasiswi yang bukan mahasiswi fakultas sastra tidak cantik. E. Mahasiswi yang tidak cantik adalah mahasiswi fakultas sastra. Jawaban : C b. Ingkaran Pernyataan Ingkaran atau negasi suatu pernyataan adalah pernyataan baru yang menyangkal pernyataan yang diberikan. Ingkaran suatu pernyataan dapat dibentuk dengan menambah kalimat Tidak benar bahwa di depan pernyataan yang diingkar. Ingkaran pernyataan p dinotasikan dengan ~p atau p. Contoh soal : 1. Ingkaran pernyataan Apabila guru tidak hadir, maka semua murid bersuka ria adalah A. Guru hadir dan semua murid tidak bersuka ria. B. Guru hadir dan ada beberapa murid bersuka ria. C. Guru hadir dan semua murid bersuka ria. D. Guru tidak hadir dan ada murid tidak bersuka ria. E. Guru tidak hadir dan semua murid tidak bersuka ria. Pembahasan : Ingat bahwa ~(p => q) p ~q Jadi ingkaran dari Apabila guru tidak hadir, maka semua murid bersuka ria adalah Guru tidak hadir dan ada murid tidak bersuka ria. Jawaban : D

Tabel kebenaran dari ingkaran. P B S

~p S B

2. Konjungsi dan Disjungsi a. Konjungsi Konjungsi dari pernyataan p dan q membentuk pernyataan majemuk dengan kata hubung dan, dinotasikan dengan pq. Tabel kebenaran konjungsi. P B B S S

q B S B S

pq B S S S

b. Disjungsi Disjungsi dari pernyataan p dan q membentuk pernyataan majemuk dengan kata hubung atau dinotasikan dengan p q. Tabel kebenaran disjungsi P B B S S Contoh soal : 1. P dan q adalah suatu pernyataan. Jika r adalah pernyataan majemuk yang dibentuk oleh pernyataan p dan pernyataan q, maka pernyataan r pada table kebenaran di bawah adalah p B B S S A. konjungsi B. disjungsi C. ingkaran q B S B S D. implikasi E. biimplikasi r B B B S

q B S B S

pq B B B S

Pembahasan : Dari table kebenaran tersebut yang memenuhi pernyataan r adalah p q (disjungsi) Jawaban : B

3. Implikasi dan Biimplikasi a. Implikasi Pernyataan p dan q dapat digabung dengan kata hubung logika jika p maka q sehingga terbentuk sebuah pernyataan majemuk jika p maka q yang disebut implikasi, dinotasikan dengan p => q. Tabel kebenaran implikasi. P B B S S q B S B S p => q B S B B

Contoh soal : 1. Implikasi p => ~q senilai dengan A. ~q => p D. ~(p => q) B. ~p => q E. q => ~p C. ~(q => p) Pembahasan : Ingat bahwa p => q ekuivalen dengan ~q =.> ~p (implikasi ekuivalen dengan kontraposisi). Sejalan dengan itu, p => ~q ekuivalen dengan : ~(~q) => ~(p) q => ~p. Jawaban : E

a. Biimplikasi Pernyataan p dan q dapat digabung dengan kata hubung logika jika dan hanya jika sehingga terbentuk sebuah pernyataan majemuk p jika hanya jika q yang disebut biimplikasi, dinotasikan dengan p q. Tabel kebenaran biimplikasi. P B B S S

q B S B S

pq B S S B

Perhatikan bahwa biimplikasi p q bernilai benar bahwa apabila p dan q bernilai sama (sama-sama benar atau sama-sama salah).

4. Ekuivalensi Pernyataan-Pernyataan Majemuk Dua pernyataan majemuk dikatakan ekuivalen jika kedua pernyataan tersebut mempunyai nilai kebenaran yang sama. Ekuivalensi dinotasikan dengan . Contoh : ~(pq) ~p ~q Tabel kebenarannya. p Q ~p ~q pq ~(p q) ~p ~q B B S S B S S B S S B S B B S B B S S B B S S B B S B B Contoh soal : 1. Pernyataan majemuk Jika hari ini hujan, sungai meluap, ekuivalen dengan pernyataan A. Hari hujan dan sungai meluap. B. Hri tidak hujan dan sungai tidak meluap. C. Jika sungai tidak meluap, hari tidak hujan. D. Jika sungai tidak meluap, hari tidak hujan. E. Jika hari tidak hujan, sungai tidak meluap. Pembahasan : ~(p q) ~p ~q Berarti Jika hari ini hujan, sungai meluap, ekuivalen dengan pernyataan Jika sungai tidak tidak meluap, hari tidak hujan. Jawaban : C

5. Negasi Pernyataan Majemuk Negasi pernyataan majemuk antara lain sebagai berikut. ~(p q) ~p ~q ~(p q) ~p ~q ~(p =>q) p ~q ~(p q) (p ~q) (q ~p)

6. Konvers, Invers, dan Kontraposisi Dari suatu implikasi p => q, dapat diperoleh implikasi lain yang disebut konvers, invers, dan kontraposisi. Perhatikan table kebenaran hubungan antara implikasi, konvers, invers, dan kotraposisi berikut.

p B B S S

q B S B S

-p S S B B

-q S B S B

Implikasi p => q B S B B

Konvers q => p B B S B

Invers ~p => ~q B B S B

Kontraposisi ~q=> ~p B S B B

Contoh soal : 1. Kontraposisi (p q) => q adalah A. ~q => ~(p q) B. ~(p q) => ~q C. ~q => (~p ~q) D. q => (~p ~q) E. ~q => (~p ~q) Pembahasan : Kontraposisi : ~q => ~p Jawaban : C

7. Penarikan Kesimpulan Modus Ponens P1 : p => q P2 : p q Contoh soal : 1. Jika ombak besar, maka nelayan tidak menangkap ikan. Jika nelayan tidak menagkap ikan, maka tidak ada ikan di pasar. Penarikan kesimpulan berikut yang benar adalah A. Ikan banyak di pasar, maka ombak kecil. B. Ikan banyak di pasar walaupun nelayan tidak menangkap ikan. C. Nelayan menangkap ikan, maka ikan banyak di pasar. D. Ombak besar, maka tidak ada ikan di pasar. E. Ombak kecil, maka ikan tidak ada di pasar. Pembahasan : Merupakan penarikan kesimpulan Silogisme : P1 : p => q P2 : q => r p => r Jawaban : D Modus Tollens P1 : p => q P2 : ~q ~p Silogisme P1 : p => q P2 : q => r p => r