pq~pq
~ ( p q) ~ (~p q)
p~q [Hukum de Morgan]
“Anda membeli dua produk senilai Rp. 50.000,- dan Anda tidak
mendapatkan satu kupon undian”
Konvers:
“Jika Anda mendapatkan satu kupon undian, maka Anda membeli dua
produk Rp. 50.000,-”
Invers:
“Jika Anda tidak membeli dua produk senilai Rp. 50.000,-, maka Anda
tidak mendapatkan satu kupon undian”
Kontraposisi:
“Jika Anda tidak mendapatkan satu kupon undian, maka Anda tidak
membeli dua produk senilai Rp. 50.000,-”
Terlihat bahwa proposisi ((b→~p) →~b) (p~b) selalu benar, sehingga merupakan
suatu tautologi.
1
3. Tunjukkan bahwa pernyataan di bawah ini selalu benar:
Jika hari hujan maka Andi pergi dan Rita pergi, jika dan hanya jika, jika hari hujan
maka Andi pergi dan jika hari hujan maka Rita pergi.
dengan p : hari hujan, q : Andi pergi, r : Rita pergi
Jawaban :
(p (q r)) (p q) (p r)
p q r (q (p (q (p (p (p q) (p (q r)) (p q) (p
r) r)) q) r) (p r) r)
0 0 0 0 1 1 1 1 1
0 0 1 0 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 0 0 0 0 0 1
1 0 1 0 0 0 1 0 1
1 1 0 0 0 1 0 0 1
1 1 1 1 1 1 1 1 1
Jadi, terbukti merupakan tautologi (selalu benar)
Jawaban :
(Hukum De Morgan)
(Hukum Distributif)
(Hukum Absorbsi)
(Hukum Distributif)
(Hukum Negasi)
(Hukum Identitas)
(Hukum Komutatif)
(Hukum Absorbsi)
2
q
----------
r
Tabel kebenaran:
p q r ~q p ~q ~r ~r p
===================================================
T T T F F F T
T T F F F T T
T F T T T F T
T F F T T T T
F T T F T F T
F T F F T T F
F F T T T F T
F F F T T T F
Pada baris 5 premis p ~q, ~r p, dan q secara bersama-sama bernlai benar dan
konklusi r juga benar, sehingga argumen valid.
6. Indra, Ical, Parry adalah sekelompok pembunuh. Mereka tertangkap dan sedang
diinterogasi oleh polisi dengan poligraph:
Indra berkata : Ical bersalah dan Parry tidak bersalah
Ical berkata : Jika indra bersalah maka Parry bersalah
Parry berkata : Saya tidak bersalah, tetapi Ical atau Indra bersalah.
Tuliskan pernyataan dari tiap tersangka ke dalam proposisi logika. Tulis tabel
kebenaran dari pernyataan 3 tersangka tersebut.Tentukan siapa sajakah yang bersalah
(berdasarkan tabel kebenaran yang telah dibuat), bila tes poligraph menunjukkan
bahwa Ical telah berbohong, sementara kedua temannya mengatakan kebenaran!
Jawaban :
Pernyataan:
p : Indra tidak bersalah
q: Ical tidak bersalah
r: Parry tidak bersalah
Proposisi logika:
Indra : (¬q) r
Ical: (¬p) (¬r)
Parry : r ((¬p) (¬q))
Tabel Kebenaran:
p Q r Indra Ical Pari
T T T F T F
T T F F T F
3
T F T T T T
T F F F T F
F T T F F T
F T F F T F
F F T T F T
F F F F T F
Dari tabel kebenaran pernyataan Ical bernilai salah di mana yang lainnya bernilai benar
ada pada baris ke 7. Sehingga dapat disimpulkan bahwayang bersalah adalah Indra dan
Ical.
P q ~p P q ~p V q
T T F T T
T F F F F
F T T T T
F F T T T
- tautologi ( (p q) (~p V q) )
-
( (p q) (~p V
p q ~p P q ~p V q
q) )
T T F T T T
T F F F F T
F T T T T T
F F T T T T
4
8. Proposisi: Karena Sabtu dan Minggu lalu diadakan penutupan acara PMB 2007,
acara kumpul rutin Unit Tenis Meja (UTM) dibatalkan dan rapat ITB Open ditunda
hingga hari ini.
(a) Nyatakan proposisi di atas dalam notasi simbolik (ekspresi logika)
b. Invers : ~p → ~q ~r
Jika Sabtu dua minggu lalu tidak diadakan penutupan PMB 2007, acara kumpul
rutin UATM tidak akan dibatalkan atau rapat ITB Open tidak akan ditunda
hingga hari ini
Pembuktian hukum:
(q r) → p
~p
~(q r) (modus Tollen)
≡ ~q ~r (De Morgan)
p q r ~q ~ q (q ~ ~q ((q r) → p) (((q r) → p)
r r r) → p ~r ~p ~p) → (~q ~r)
p
T T T F F T T F F F T
T T F F T F T F T F T
T F T T F F T F T F T
T F F T T F T F T F T
F T T F F T F T F F T
F T F F T F T T T T T
5
F F T T F F T T T T T
F F F T T F T T T T T
Karena pada akhir tabel, diperoleh nilai T di semua baris, maka pernyataan tersebut
bernilai benar
11. Buktikan dengan hukum logika (tanpa tabel kebenaran) bahwa p ( p q) ~ q
merupakan suatu kontradiksi (ekivalen dengan F), tuliskan pula hukum yang
digunakan dalam setiap langkahnya.
Jawaban :
p ( p q ) ~ q p (( p q ) ( q p )) ~ q (definisi biimplikasi)
p (~ p q ) ( q p ) ~ q (definisi implikasi)
( p ~ q ) (~ p q ) ( q p ) (hukum asosiatif)
~ (~ p q ) (~ p q ) ( q p ) (hukum De Morgan)
F (q p ) (hukum negasi)
F (hukum nulitas)
terbukti
12. Misalkan p : “Anda lulus TPB”, q : “IPK anda lebih besar dari 2.00” , dan r : “Anda
mempunyai nilai E”. Terjemahkan proposisi-proposisi berikut dalam ekspresi logika
(menggunakan p, q, r):
(a) Anda tidak lulus TPB bilamana IPK anda tidak lebih besar dari 2.00 atau anda
mempunyai nilai E.
(b) Anda lulus TPB berarti IPK anda lebih besar dari 2.00 dan anda tidak mempunyai
nilai E.
6
(c) IPK anda lebih besar dari 2.00 tetapi anda mempunyai nilai E sehingga anda tidak
lulus TPB.
Jawaban :
(a) soal a dapat diterjemahkan : “Jika IPK anda tidak lebih besar dari 2.00 atau anda
mempunyai nilai E maka anda tidak lulus TPB “
(b) soal b dapat diterjemahkan :”Jika anda lulus TPB maka IPK anda lebih besar dari 2.00
dan anda tidak mempunyai nilai E”
(c) soal c dapat diterjemahkan :”Jika IPK anda lebih besar dari 2.00 dan anda mempunyai
nilai E maka anda tidak lulus TPB”
13. Jika proposisi p q salah, tentukan nilai kebenaran dari proposisi (~p q) q
Jawaban :
Proposisi p q : salah
Maka nilai p serta q yang memenuhi adalah hanya jika p : salah dan q : salah
p q pq ~ p ~ pq (~ p q) q
F F F T F T
(~ p q ) q
(~ F F ) F
(T F ) F
FF
T
Maka proposisi (~ p q ) q adalah bernilai benar (T)
14. Tentukan kontraposisi dari proposisi: “Sebuah bilangan bulat positif disebut prima
jika ia tidak mempunyai pembagi selain 1 dan dirinya sendiri”.
Jawaban :
Proposisi “Sebuah bilangan positif disebut prima jika ia tidak mempunyai pembagi
selain 1 dan dirinya sendiri” dapat dinyatakan “Jika sebuah bilangan bulat positif
tidak mempunyai pembagi selain satu dan dirinya sendiri maka ia disebut prima“.
Bila dinyatakan :
p : Sebuah bilangan bulat positif mempunyai pembagi selain satu dan dirinya
q : Sebuah bilangan bulat positif disebut prima
maka pernyataan diatas adalah ~ p q
7
kontraposisi untuk pernyataan ~ p q adalah ~ q ~ (~ p ) atau ~ q p
Sehingga kontraposisi dari proposisi di atas adalah “Jika sebuah bilangan bulat
positif tidak disebut prima maka ia mempunyai pembagi selain satu dan dirinya
sendiri”.
(alternative lain)
Bila dinyatakan :
p : Sebuah bilangan bulat positif mempunyai pembagi selain satu
q : Sebuah bilangan bulat positif mempunyai pembagi selain dirinya sendiri
r : Sebuah bilangan bulat positif disebut prima
maka pernyataan diatas adalah ~ ( p q ) r
15. Buktikan dengan hukum-hukum aljabar proposisi (tidak boleh menggunakan tabel
kebenaran) bahwa:
~(p q) (~p q) ~p
(tuliskan nama hukum yang dipakai).
Jawaban :
~ ( p q ) (~ p q ) ~p
Pembuktiannya :
~ ( p q ) (~ p q ) (~ p ~ q) (~ p q) [hukum De Morgan]
~ p (~ q q ) [hukum Distributif]
~ p T [hukum Negasi]
~p [hukum Identitas]
Jawaban :
Pernyataan tersebut terdiri atas dua proposisi
p : dua sisi segitiga sama panjang
q : besar sudut yang berhadapan adalah sama
Pernyataan tersebut equivalen dengan
pq
8
~p
~q
p q ~p pq ~q
T T F T F
T F F F T
F T T T F
F F T T T
Untuk p q dan ~p yang bernilai benar (baris ke-3 dan 4), yang perlu diperhatikan
adalah, nilai ~q bisa bernilai benar (baris 4) maupun bernilai salah (baris 3), sehingga
terdapat dua kontradiksi dari nilai ~q.
Oleh karena itu argumen di atas adalah tidak sahih atau tidak valid
17. Untuk menerangkan mutu sebuah hotel, misalkan p : “Pelayanannya baik”, dan q :
“Tarif kamarnya murah”, r : “Hotelnya berbintang tiga”.
Terjemahkan proposisi-proposisi berikut dalam notasi simbolik (menggunakan p, q,
r):
a. Tarif kamarnya murah, tapi pelayanannya buruk.
b. Tarif kamarnya mahal atau pelayanannya baik, namun tidak keduanya.
c. Tidak benar bahwa hotel berbintang tiga berarti tarif kamarnya murah dan
pelayanannya buruk.
Jawaban :
p : Pelayanannya baik
q : Tarif kamarnya murah
r : Hotelnya berbintang tiga
a. q ~ p
b. ~ q p
c. ~ r q ~ p
18. Misalkan p dan q adalah proposisi. Nyatakan proposisi p q dalam operator dan ,
lalu perlihatkan dengan tabel kebenaran bahwa keduanya ekivalen secara logika.
Jawaban :
p q p q ~ p q
atau
p q p q ~ p ~ q
Tabel kebenaran yang memperlihatkan pernyataan di atas ekivalen secara logika
p q ~p ~ q p q p q ~ p ~ q p q ~ p q p q ~ p q p q ~ p ~ q
T T F F F T F T F F F
T F F T T T T F T T T
F T T F T T T F T T T
9
F F T T F F T F T F F
19. Tentukan ingkaran dan kontraposisi dari pernyataan berikut: “Dia tidak pergi ke
kampus maupun ke perpustakaan bilamana hari ini hujan”.
Jawaban :
p : dia pergi ke kampus
q : dia pergi ke perpustakaan
r : hari ini hujan
Maka kalimat di atas dapat dituliskan dalam bentuk:
r ~ p ~ q
a. Ingkaran
~ r ~ p ~ q ~ ~ r ~ p ~ q
r ~ ~ p ~ q
r p q
Jadi ingkarannya adalah:
“Hari ini hujan, dan dia pergi ke kampus atau ke perpustakaan”
b. Kontraposisi
~ ~ p ~ q ~ r p q ~ r
Jadi kontraposisinya adalah:
“Jika dia pergi ke kampus atau ke perpustakaan, maka hari ini tidak hujan”
Jawaban :
p p q p
p F p q p Hukum Identitas
p F q p Hukum Distributif
pF p Hukum Null
pp Hukum Identitas
10
Jawaban :
Diket :
p: kuliahnya menarik
q: dosennya enak
r: soal-soal ujiannya mudah
a) ~ p ~ q ~ r
b) p ~ r
c) ~ ( p ( q r))
22. Misalkan p dan q adalah proposisi. Nyatakan ingkaran dari proposisi p q (Petunjuk:
nyatakan p q dalam operator dan terlebih dahulu).
Jawaban :
Diket : p q (p q) (~ (p q))
~ (p q) ~ ((p q) (~ (p q)))
~ ((p q) (~ p ~ q))
~(p q)) (~(~ p ~ q)
(~ p ~ q) (p q)
Alternatif solusi:
p q (p ~q) (~ p q)
~ (p q) ~ ((p ~q) (~ p q))
~ (p ~q) ~(~ p q)
(~p q ) (p ~q)
23. Tentukan ingkaran dan kontraposisi dari pernyataan berikut: “Dia pergi ke kampus
bilamana hari ini tidak mendung maupun hujan”.
Jawaban :
Diket:
p: dia pergi ke kampus
q: hari ini mendung
r: hari ini hujan
Pernyataan: Dia pergi ke kampus bilamana hari ini tidak mendung maupun hujan
(~ q ~ r) p (~(~ q ~ r)) p
pqr
11
24. Buktikan secara aljabar hukum penyerapan berikut:
p (p q) p
dengan menggunakan hukum-hukum proposisi (tuliskan nama hukum yang dipakai).
Jawaban :
p (p q) p
Bukti :
p (p q) (p T) (p q) (Hk.Identitas)
p (T q) (Hk.Distributif)
pT (Hk.Null)
p (Hk.Identitas)
12