MATEMATIKA DISKRIT

HUKUM – HUKUM LOGIKA

ZULFAUZI, ST., M.KOM

NIDN : 0221087001
UNIVERSITAS BINA INSAN
LUBUKLINGGAU
2020
 HUKUM – HUKUM LOGIKA
 Tabel 1. Hukum-hukum Lgika (Hukum-hukum Aljabar Proposisi)

1. Hukum Identitas 2. Hukum Null/Dominasi

 p˅F p  p˄F F
 p˄T p  p˅T T
3. Hukum Negasi 4. Hukum Idempoten
 p˅ ̴p T  p˅p p
 p˄ ̴p F  p˄p p
5. Hukum Involusi (Negasi Ganda) 6. Hukum Penyerapan (absorpsi)
 ̴ (̴ p) p  p ˅ (p ˄ q) p
 p ˄ (p ˅ q) p
7. Hukum Komulatif 8. Hukum Asosiatif
 p˅q q˅p  p ˅ (q ˅ r) (p ˅ q) ˅ r
 p˄q q˄p  p ˄ (q ˄ r) (p ˄ q) ˄ r
9. Hukum Distributif 10. Hukum De Morgan
 p ˅ (q ˄ r) (p ˅ q) ˄ (p ˅ r)  ̴ (p ˄ q) ̴p˅ ̴q
 p ˄ (q ˅ r) (p ˄ q) ˅ (p ˄ r)  ̴ (p ˅ q ) ̴p˄ ̴q

Catatan : F = 0 dan T=1

Catatan : F=0 dan T=1
Contoh Pembuktian menggunakan hukum-hukum logika.
Tunjukkan bahwa p ˅ ̴ (p ˅ q) dan (p ˅ ̴ q) keduanyaa ekivalen secara logika
Penyelesaian :
p ˅ ̴ (p ˅ q) = p ˅ (̴ p ˄ ̴ q) (Hukum De Morgan)
= (p ˅ ̴ p) ˄ (p ˅ ̴ q) (Hukum Distributif)
= T ˄ (p ˅ ̴ q) (Hukum Negasi)
= p˅ ̴q (Hukum Identitas)
DISJUNGSI EKSKLUSIF
Definisi :
Misalkan p dan q adalah proposisi eksklusif or p dan q, dinyatakan dengan notasi p q,
adalah proposisi yang bernilai benar bila hanya salah satu dari p dan q benar, selain itu
nilainya salah.
Tabel 2. Tabel Kebenaran Exclusive Or

p q p q
0 0 0
0 1 1
1 0 1
1 1 0
PROPOSISI BERSYARAT (IMPLIKASI)
Definisi :
Misalkan p dan q adalah proposisi. Proposisi majemuk “ jika p maka q” disebut
proposisi bersyarat (implikasi) dan dilambangkan dengan p q
Proposisi p disebut hipotesis (promis atau kondisi) dan proposisi q disebut konsekuen.
Contoh :
a) Jika es mencair dikutub, maka permukaan air laut naik
b) Jika orang itu diberi ongkos jalan, maka ia mau berangkat
c) Jika hari hujan, maka tanaman akan tumbuh subur.
Tabel 3. Tabel Kebenaran Implikasi

p q p q
0 0 1
0 1 1
1 0 0
1 1 1
Contoh :
Tunjukkan bahwa p q ekivalen secara logika dengan (̴ p ˅ q)
Penyelesaian :
Tabel 4 memperlihatkan bahwa memang benar p q (̴ p ˅ q). Dengan kata lain,
pernyataan “jika p maka q” ekivalen secata logika dengan “Tidak p atau q”.
Tabel 4. Tabel Kebenaran p q dan (̴ p ˅ q).

p q (̴ p) p q (̴ p ˅ q)
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
VARIAN PROPOSISI BERSYARAT
Terdapat bentuk implikasi lain yang berkaitan dengan p q, yaitu proposisi sederhana
yang merupakan varian dari implikasi. Kitiga variasi proposisi bersyarat tersebut adalah :
Konvers, Invers, dan kontraposisi dari proposisi asal p q.
Konvers (kebalikan) : q p
Invers : ̴p ̴q
Kontraposisi : ̴q ̴p
Terlihat bahwa proposisi bersyarat p q ekivalen secara logika dengan kontraposisi,
̴ q ̴ p
Tabel 5. Tabel Kebenaran Implikasi, Konvers, Invers dan Kontraposisi

p q ̴ p ̴ q Implikasi Konvers Invers Kontraposisi

p q q p ̴ p ̴ ̴ q ̴ p
q
0 0 1 1 1 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 0 1 1 0
1 1 0 0 1 1 1 1
BIKONDISIONAL (BI – IMPLIKASI)
Proposisi bersyarat penting lainnya adalah berbentuk “p jika dan hanya jika q” yang
dinamakan bikondisional.
Definisi :
Misalkan p dan q adalah proposisi. Proposisi majemuk “p jika dan hanya jika q” disebut
bikondisional dan dilambangkan dengan :
p q
 Tabel 6. Tabel Kebenaran Bikondisional

p q p q
0 0 1
0 1 0
1 0 0
1 1 1
Tabel 7. Contoh p q = (p q) ˄ (q p)

p q p q p q q p (p q) ˄ (q p)
0 0 1 1 1 1
0 1 0 1 0 0
1 0 0 0 1 0
1 1 1 1 1 1
Definisi :
Dua buah proposisi majemuk, P(p, q,...) dan Q(p, q,...) disebut ekivalen secara logika,
dilambangkan dengan P(p, q,...) = Q(p, q,...), jika P Q adalah Tautologi.

Contoh :
Buktikan dengan tabel kebenaran bahwa ̴ (p ˄ q) ̴ p˅ ̴ q

Tabel 8. ̴ (p ˄ q) ̴ p ˅ ̴ q adalah Tautologi

p q ̴ p ̴ q ̴ p˅ ̴ p˄q ̴ (p ˄ ̴ (p ˄ q) ̴ p˅ ̴ q
q q)

0 0 1 1 1 0 1 1
0 1 1 0 1 0 1 1
1 0 0 1 1 0 1 1
1
Catatan : 1 Apabila
0 hasil
0 tabel 0yang dicari1 bernilai 1 0semua maka persamaan
1 tersebut
dikatakan tautologi.