1 Logika Matematik (Handout)

LOGIKA MATEMATIK
Departemen Matematika
FMIPA IPB
Bogor, 2012
(Departemen Matematika FMIPA IPB) Landasan Matematika: Logika Matematik Bogor, 2012 1 / 35
Topik Bahasan
1 Proposisi, Perangkai Dasar, dan Tabel Kebenaran
2 Proposisi Kompleks
3 Kesetaraan Dua Proposisi
4 Terapan Logika Matematik (Argumen)
Proposisi, Perangkai Dasar, dan Tabel Kebenaran
Proposisi
De…nisi (Proposisi)
Proposisi adalah suatu pernyataan yang mempunyai dua kemungkinan nilai
kebenaran, yaitu benar atau salah tetapi tidak mungkin keduanya.
Benar
%
Proposisi
&
Salah
Contoh
Manakah dari pernyataan-pernyataan berikut yang merupakan proposisi?
Bila pernyataan tersebut merupakan proposisi, tentukan nilai
kebenarannya.
1 IPB terletak di Bogor.
2 Semarang adalah ibukota Jawa Timur.
3 Matematika itu menyenangkan.
4 Itu komputer siapa?
5 a + 1 = 3.
Notasi untuk Proposisi dan Nilai Kebenaran

Notasi untuk proposisi: huruf kecil (p, q, r, s, t, ...) diikuti tanda ":"
dan proposisinya
Contoh
Lambangkan proposisi-proposisi berikut dan tentukan nilai kebenarannya.
1 2 adalah bilangan genap.
2 Bogor adalah ibukota negara Indonesia.
3 (2 + 3) 4 = (2 4) + (3 4).
Catatan: Pada tabel kebenaran, hanya huruf kecil (p, q, r, s, t, ...)

yang dituliskan untuk menyatakan suatu proposisi
Notasi untuk nilai kebenaran:
Nilai kebenaran Notasi pada tabel kebenaran
Benar 1
Salah 0
Perangkai Dasar
1 negasi ... ( ...)

2 ... dan ... (... ^ ...)
3 ... atau ... (... _ ...)
4 jika ..., maka ... (... ! ...)
5 ... jika dan hanya jika ... (... $ ...)
Keterangan: "..." menyatakan suatu proposisi
Klasi…kasi Proposisi Berdasarkan Penggunaan Perangkai
tunggal (tanpa perangkai)

%
Proposisi ! majemuk (dengan satu perangkai)
&
kompleks (dengan dua atau lebih perangkai)
Proposisi Majemuk
Proposisi tunggal ! Proposisi majemuk

+ Perangkai negasi ( )
(p) ( p)
p
%
Proposisi ! Proposisi
+ Perangkai
tunggal majemuk
& dan ( ^ ) p^q
q atau ( _ ) p_q
jika ..., maka ... ( ! ) p!q
jika dan hanya jika ( $ ) p$q
Perangkai "Ingkaran" (Negasi)
De…nisi (Negasi)
Misalkan p adalah suatu proposisi. Proposisi "ingkaran p" (negasi p)
adalah suatu proposisi yang salah jika p benar dan proposisi yang benar
jika p salah.
Notasi: p (dibaca negasi p/ingkaran p/tidak p/bukan p)

Tabel Kebenaran
p p
1 0
0 1
Catatan:
1 Lambangkan proposisi dalam bentuk positif.
2 Tidak melambangkan suatu proposisi dan negasinya, dengan huruf
yang berbeda.
Contoh
Tentukan dan lambangkan negasi dari proposisi-proposisi berikut,
kemudian tentukan nilai kebenarannya.
1 3 adalah bilangan ganjil.
2 1 + 2 = 4.
3 IPB tidak memiliki fakultas hukum.
Perangkai "Dan" (Konjungsi)
De…nisi (Konjungsi)
Misalkan p dan q adalah dua buah proposisi. Proposisi "p dan q"
(konjungsi p dengan q) adalah suatu proposisi yang bernilai benar jika
kedua proposisi p dan q bernilai benar.
Notasi: p ^ q (dibaca p dan q)

Tabel Kebenaran
p q p^q
1 1 1
1 0 0
0 1 0
0 0 0
Catatan: Kata lain yang bisa diartikan sebagai perangkai ^ adalah:

tetapi, walaupun, meskipun, sedangkan, namun.
Contoh
Misalkan diketahui dua proposisi berikut.
p : Penemu telepon adalah Alexander Graham Bell.
q : Telinga merupakan alat pendengaran bagi manusia.
Nyatakan proposisi-proposisi berikut dalam kalimat verbal, kemudian
tentukan nilai kebenarannya.
1 p^q
2 p^q
3 p^ q
Perangkai "Atau" (Disjungsi)
inklusif
%
Disjungsi
&
eksklusif
De…nisi (Disjungsi inklusif)

Misalkan p dan q adalah dua buah proposisi. Proposisi "p atau q"
(disjungsi inklusif p dengan q) adalah suatu proposisi yang bernilai benar
jika sekurang-kurangnya satu proposisi penyusunnya bernilai benar.
Notasi: p _ q (dibaca p atau q)
De…nisi (Disjungsi eksklusif)

Misalkan p dan q adalah dua buah proposisi. Proposisi "p ataukah q"
(disjungsi eksklusif p dengan q) adalah suatu proposisi yang bernilai benar
jika salah satu saja dari kedua proposisi penyusunnya yang bernilai benar.
Notasi: p Y q (dibaca p ataukah q)

Tabel Kebenaran
p q p_q pYq
1 1 1 0
1 0 1 1
0 1 1 1
0 0 0 0
Catatan: Dalam kehidupan sehari-hari, kata hubung yang sering

digunakan untuk menyatakan minimal salah satu dari dua atau lebih
pernyataan/alternatif adalah "dan atau", seharusnya yang tepat
adalah "atau". Selain itu, kata hubung yang sering digunakan untuk
menyatakan hanya salah satu dari dua atau lebih
pernyataan/alternatif adalah "atau", seharusnya yang tepat adalah
"ataukah".
Contoh
Misalkan diketahui dua proposisi berikut.
p : 4 < 6.
q : 4 = 6.
Nyatakan proposisi-proposisi berikut dalam kalimat verbal, kemudian
tentukan nilai kebenarannya.
1 p_q
2 pYq
Perangkai "Jika ..., maka ..."
De…nisi
Misalkan p dan q adalah dua buah proposisi. Proposisi "jika p, maka q"
adalah suatu proposisi yang bernilai salah bilamana p bernilai benar dan q
bernilai salah.
Notasi: p ! q (dibaca jika p, maka q)

p : hipotesis, premis, anteseden
q : kesimpulan, konsekuen
Tabel Kebenaran
p q p!q
1 1 1
1 0 0
0 1 1
0 0 1
Catatan:
1 Hubungan sebab akibat antara hipotesis dan kesimpulan tidak harus
selalu ada.
2 Dalam hal proposisi p ! q diajukan sebagai proposisi yang benar dan
terdapat hubungan antara hipotesis dan kesimpulan, proposisi p ! q
dapat diucapkan:
p berimplikasi q
p syarat cukup bagi q
q syarat perlu bagi p
p hanya jika q.
Contoh
Tentukan nilai kebenaran proposisi-proposisi berikut.
1 Jika 22 = 4, maka 24 = 42 .
2 Jika 1 < 2 dan 1 > 2, maka 1 = 2.
3 Jika Spanyol bertanding dengan Belanda dalam babak …nal Piala Dunia
2010, maka Spanyol juara Piala Dunia 2010.
Variasi perangkai "jika ..., maka ...":

1 q ! p disebut konvers dari p ! q
2 p ! q disebut invers dari p ! q
3 q ! p disebut kontrapositif dari p ! q
Contoh
Tentukan konvers, invers, dan kontrapositif dari proposisi-proposisi berikut,
kemudian tentukan nilai kebenarannya.
1 Jika 1 + 2 = 3, maka Padang adalah ibukota Sumatera Utara.
2 Jika IPB terletak di Bogor, maka IPB terletak di Jawa Barat.
Perangkai "Jika dan hanya jika" (jhj)
De…nisi
Misalkan p dan q adalah dua buah proposisi. Proposisi "p jika dan hanya
jika q" adalah suatu proposisi yang bernilai benar bilamana p dan q
memiliki nilai kebenaran yang sama.
Notasi: p $ q (dibaca p jika dan hanya jika q)

Tabel Kebenaran
p q p$q
1 1 1
1 0 0
0 1 0
0 0 1
Catatan:
1 Dalam hal proposisi p $ q benar dan terdapat hubungan antara p dan
q, proposisi p $ q dapat diucapkan sebagai "p syarat perlu dan cukup
bagi q".
2 Agar p $ q benar terdapat dua syarat, yaitu p ! q benar dan q ! p
benar.
Contoh
Lambangkan dan tentukan nilai kebenaran proposisi-proposisi berikut.
1 4 bilangan ganjil jhj 3 bukan bilangan genap.
2 Mahasiswa TPB IPB diwajibkan tinggal di asrama jhj IPB memiliki asrama.
Proposisi Kompleks
Proposisi Kompleks
De…nisi (Proposisi kompleks)

Proposisi kompleks adalah proposisi yang menggunakan dua atau lebih
perangkai.
Contoh
Tentukan nilai kebenaran proposisi-proposisi kompleks berikut.
1 [(p ^ q) _ (q $ r)] ! r, bilamana p benar, q salah, dan r salah.
2 p ! [q _ ( p ^ r)], bilamana q salah dan r benar.
3 [(p ! q) ^ ( q _ p)] ! (p $ q).
Proposisi Kompleks
Klasi…kasi Proposisi Berdasarkan Nilai Kebenarannya
1 Tautologi
Proposisi yang selalu bernilai benar untuk semua kemungkinan
kombinasi nilai kebenaran proposisi-proposisi penyusunnya.
Notasi: i
2 Kontradiksi
Proposisi yang selalu bernilai salah untuk semua kemungkinan
kombinasi nilai kebenaran proposisi-proposisi penyusunnya.
Notasi: o
3 Kontingensi
Proposisi yang bukan tautologi dan bukan kontradiksi.
Proposisi Kompleks
Contoh
Gunakan tabel kebenaran untuk memeriksa apakah proposisi-proposisi
berikut merupakan tautologi, kontradiksi, ataukah kontingensi.
1 p^ p
2 (p ! q) _ p
3 [(p ! q) ^ (q $ r)] ! (p $ r)
Kesetaraan Dua Proposisi
De…nisi (Kesetaraan logik)

Dua buah proposisi dikatakan setara logik, bila kedua proposisi tersebut
memiliki nilai kebenaran yang sama untuk setiap kombinasi nilai kebenaran
proposisi penyusunnya.
Notasi:
p = q atau p q atau p , q
(dibaca p setara logik dengan q, selanjutnya hanya akan dibaca p
setara dengan q)
Contoh
Gunakan tabel kebenaran untuk menunjukkan bahwa:
1 p!q= p_q
2 (p ^ q) = p_ q
Dalil-dalil Kesetaraan
Misalkan p, q, dan r adalah sembarang proposisi, i tautologi, serta o

kontradiksi.
Dalil Keidentikan
1 p_o = p
Dalil Komutatif
2 p_i = i 1 p_q = q_p
3 p^o = o 2 p^q = q^p
4 p^i = p
Dalil Asosiatif
Dalil Kesamakuatan 1 (p _ q) _ r = p _ (q _ r)
1 p_p = p 2 (p ^ q) ^ r = p ^ (q ^ r)
2 p^p = p
Dalil Distributif
Dalil Komplemen 1 p _ (q ^ r) = (p _ q) ^ (p _ r)
1 p_ p=i 2 p ^ (q _ r) = (p ^ q) _ (p ^ r)
2 p^ p=o
Dalil Ingkaran Ganda

1 ( p) = p
Dalil de Morgan
1 (p _ q) = p^ q
2 (p ^ q) = p_ q
Dalil Penghapusan
1 (p _ q) ^ p = p
2 (p ^ q) _ q = q
Dalil lainnya
1 p ! q = q ! p = p_q
2 p $ q = (p ! q) ^ (q ! p) = (p ^ q) _ ( p ^ q)
Contoh
Gunakan tabel kebenaran untuk membuktikan kebenaran dalil-dalil
kesetaraan tersebut.
Terapan Logika Matematik (Argumen)

De…nisi (Argumen)
Argumen adalah suatu proposisi yang berbentuk
[H1 ^ H2 ^ ... ^ Hn ] ! K.
Catatan:
1 H1 , H2 , ..., Hn : hipotesis-hipotesis
K : kesimpulan
2 Argumen [H1 ^ H2 ^ ... ^ Hn ] ! K
biasa ditulis:
H1
H2
..
.
Hn
K
Sah
[H1 ^ H2 ^ ... ^ Hn ] ! K tautologi
%
Argumen
&
Tidak sah
[H1 ^ H2 ^ ... ^ Hn ] ! K bukan tautologi
Catatan:
1 Jika suatu argumen sah dan semua hipotesisnya benar, maka
kesimpulan benar.
2 Untuk memeriksa kesahan suatu argumen dapat digunakan:
tabel kebenaran
aturan inferensia
metode pohon
Contoh
Periksa kesahan argumen-argumen berikut menggunakan tabel kebenaran.
1 Jika hari ini adalah hari proklamasi, maka pemerintah
menyelenggarakan upacara. Ternyata pemerintah tidak
menyelenggarakan upacara. Oleh karena itu dapat disimpulkan bahwa
hari ini bukan hari proklamasi.
2 Jika Indonesia adalah negara bahari, maka teknologi kelautan di
Indonesia berkembang. Kenyataannya teknologi kelautan di Indonesia
berkembang. Jadi dapat disimpulkan bahwa Indonesia adalah negara
bahari.
Aturan Inferensia: beberapa argumen yang sah dan sering dijumpai

dalam penalaran sehari-hari.
1 Modus Ponens
p
p!q
q
2 Modus Tollens
q
p!q
p
3 Kaidah Silogisme
p!q
q!r
p!r
Contoh
Periksa kesahan argumen-argumen berikut menggunakan aturan inferensia.
1 p_r
p!q
r
q
2 Saya tidak akan gagal dalam ujian Matematika, jika saya belajar.
Tidak menonton TV adalah syarat cukup agar saya belajar.
Kenyataannya saya gagal dalam ujian Matematika. Oleh karena itu
dapat disimpulkan bahwa saya menonton TV.
Metode Pohon
Kegunaan: untuk memeriksa kesahan suatu argumen
Konsep dasar:
1 Suatu argumen berbentuk implikasi p ! q.
2 (p ! q) = p ^ q.
3 p ! q adalah tautologi jika p ^ q adalah kontradiksi.
4 Susun suatu pohon dari konjungsi premis (p) dan negasi kesimpulan
( q).
5 Bila semua cabang pohon membentuk kontradiksi, maka argumen sah.
6 Bila ada cabang yang tidak membentuk suatu kontradiksi, maka
argumen tidak sah.
Prosedur metode pohon

1 Daftarkan semua premis dan negasi kesimpulannya.
2 Tuliskan semua proposisi "jika ..., maka ..." dan proposisi "jika dan
hanya jika" dalam bentuk konjungsi (^) dan disjungsi (_).
3 Turunkan salah satu premis atau negasi kesimpulannya.
Perangkai ^: ditulis ke bawah membentuk batang.
Perangkai _: ditulis ke samping membentuk cabang.
4 Jika ada cabang yang memuat suatu proposisi dan negasinya
(kontradiksi), maka cabang tersebut tertutup dan beri tanda ( ).
5 Lanjutkan langkah 3 bila masih ada cabang yang belum tertutup dan
belum semua proposisi pada langkah 1 diturunkan.
6 Hentikan proses bila semua cabang sudah tertutup atau semua
proposisi pada langkah 1 sudah diturunkan.
7 Argumen sah jika semua cabang tertutup.
8 Argumen tidak sah jika terdapat sekurang-kurangnya satu cabang yang
tidak tertutup.
Contoh
Periksa kesahan argumen-argumen berikut menggunakan metode pohon.
1 p_r
p!q
r
q
2 Jika harga seragam sekolah menurun, maka permintaan terhadap
seragam sekolah meningkat. Jika sekarang bukan akhir masa liburan
sekolah, maka permintaan terhadap seragam sekolah sedang tidak
meningkat. Kenyataanya sekarang adalah akhir masa liburan sekolah.
Jadi dapat disimpulkan bahwa harga seragam sekolah sedang
menurun.

1 Logika Matematik (Handout)

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

1 Logika Matematik (Handout)

Diunggah oleh

Hak Cipta:

Format Tersedia

LOGIKA MATEMATIK

1 Proposisi, Perangkai Dasar, dan Tabel Kebenaran

3 Kesetaraan Dua Proposisi

4 Terapan Logika Matematik (Argumen)

Notasi untuk Proposisi dan Nilai Kebenaran

Catatan: Pada tabel kebenaran, hanya huruf kecil (p, q, r, s, t, ...)

1 negasi ... ( ...)

Klasi…kasi Proposisi Berdasarkan Penggunaan Perangkai

tunggal (tanpa perangkai)

Proposisi tunggal ! Proposisi majemuk

Perangkai "Ingkaran" (Negasi)

Notasi: p (dibaca negasi p/ingkaran p/tidak p/bukan p)

Perangkai "Dan" (Konjungsi)

Notasi: p ^ q (dibaca p dan q)

Catatan: Kata lain yang bisa diartikan sebagai perangkai ^ adalah:

Perangkai "Atau" (Disjungsi)

De…nisi (Disjungsi inklusif)

Notasi: p _ q (dibaca p atau q)

De…nisi (Disjungsi eksklusif)

Notasi: p Y q (dibaca p ataukah q)

Catatan: Dalam kehidupan sehari-hari, kata hubung yang sering

Perangkai "Jika ..., maka ..."

Notasi: p ! q (dibaca jika p, maka q)

Variasi perangkai "jika ..., maka ...":

Perangkai "Jika dan hanya jika" (jhj)

Notasi: p $ q (dibaca p jika dan hanya jika q)

De…nisi (Proposisi kompleks)

Klasi…kasi Proposisi Berdasarkan Nilai Kebenarannya

Kesetaraan Dua Proposisi

De…nisi (Kesetaraan logik)

Misalkan p, q, dan r adalah sembarang proposisi, i tautologi, serta o

Dalil Ingkaran Ganda

Terapan Logika Matematik (Argumen)

Aturan Inferensia: beberapa argumen yang sah dan sering dijumpai

Prosedur metode pohon

Anda mungkin juga menyukai