HUKUM-HUKUM LOGIKA INFORMATIKA
Asep Saepulrohman, M.Si.
...CS...
FMIPA
Univeristas Pakuan
October 18, 2024
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 1 / 29
Hukum-Hukum Logika
Outline Hukum-Hukum Logika
1 Hukum Identitas
2 Hukum Non-Kontradiksi
3 Hukum Eksklusi Tengah
4 Hukum Distributif
5 Hukum Komutatif
6 Hukum Asosiatif
7 Hukum De Morgan
8 Hukum Implikasi
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 2 / 29
Hukum-Hukum Logika
Tabel Hukum Logika
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 3 / 29
Hukum-Hukum Logika Hukum identitas
Pengertian Hukum Identitas
Hukum identitas adalah prinsip dalam logika yang menyatakan bahwa
setiap entitas adalah identik dengan dirinya sendiri.
Formula: A = A, yang berarti sesuatu selalu sama dengan dirinya
sendiri.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 4 / 29
Hukum-Hukum Logika Hukum identitas
Contoh Hukum Identitas
1 Dalam Matematika
Jika kita memiliki angka 5, maka Pernyataan: 5 = 5
Benar, karena 5 selalu identik dengan 5.
2 Logika Bolean
Misalkan variabel x bernilai True, maka pernyataan: x = x
Benar, karena nilai variabel x tidak berubah.
3 Identitas Filsafat
Sebuah pohon adalah pohon.
Pernyataan ini benar, karena objek yang kita identifikasi tetap identik
dengan dirinya sendiri.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 5 / 29
Hukum-Hukum Logika Hukum identitas
Contoh Program Python
Berikut adalah contoh program Python yang menerapkan hukum
identitas:
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 6 / 29
Hukum-Hukum Logika Hukum identitas
Contoh Program Python
Berikut adalah contoh program Python yang menerapkan hukum
identitas:
Output:
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 6 / 29
Hukum-Hukum Logika Hukum Non-Kontradiksi
Pengertian Hukum Non-Kontradiksi
Hukum Non-Kontradiksi adalah prinsip logika dasar yang menyatakan
bahwa suatu proposisi tidak bisa benar dan salah pada saat yang
sama.
Secara formal:
¬(P ∧ ¬P)
Artinya: ”Tidak mungkin P dan bukan P benar pada waktu yang
bersamaan.”
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 7 / 29
Hukum-Hukum Logika Hukum Non-Kontradiksi
Contoh Hukum Non-Kontradiksi
1 Keadaan Pintu
Pernyataan: ”Pintu ini tertutup.”
Tidak mungkin pintu tertutup dan tidak tertutup (terbuka) pada waktu
yang sama.
Jika pernyataan ”Pintu ini tertutup” benar, maka pernyataan ”Pintu
ini tidak tertutup” salah.
2 Suhu Air
Pernyataan: ”Air ini sedang mendidih.”
Air tidak bisa mendidih dan tidak mendidih pada waktu yang sama.
Jika air mendidih (pada 100°C), maka pernyataan ”Air ini tidak
mendidih” harus salah.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 8 / 29
Hukum-Hukum Logika Hukum Non-Kontradiksi
Contoh Program
Input program keadaan Non-Kontradiksi
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 9 / 29
Hukum-Hukum Logika Hukum Non-Kontradiksi
Contoh Program
Input program keadaan Non-Kontradiksi
Output:
Ini menunjukkan bahwa Python mengikuti hukum Non-Kontradiksi
dalam logika, di mana sesuatu tidak bisa benar dan salah secara
bersamaan.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 9 / 29
Hukum-Hukum Logika Hukum Ekslusi Tengah
Pengertian Hukum Eksklusi Tengah
Hukum Eksklusi Tengah (Law of Excluded Middle) adalah prinsip dasar
dalam logika klasik yang menyatakan bahwa untuk setiap proposisi, baik
proposisi itu benar atau proposisi itu salah.
Dalam bentuk logis, hukum ini dinyatakan sebagai:
A ∨ ¬A
yang berarti ”A atau bukan A”. Prinsip ini menyatakan bahwa tidak ada
kemungkinan ketiga.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 10 / 29
Hukum-Hukum Logika Hukum Ekslusi Tengah
Contoh 1: Cuaca Hari Ini
Proposisi: ”Hari ini hujan.”
Pernyataan Hukum: ”Hari ini hujan atau hari ini tidak hujan.”
Pembahasan: Cuaca hari ini tidak bisa berada dalam keadaan yang
tidak jelas. Jika tidak hujan, pernyataannya salah; jika hujan,
pernyataannya benar. Tidak ada kemungkinan lain.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 11 / 29
Hukum-Hukum Logika Hukum Ekslusi Tengah
Contoh 2: Keberadaan Objek
Proposisi: ”Buku ini ada di meja.”
Pernyataan Hukum: ”Buku ini ada di meja atau buku ini tidak ada
di meja.”
Pembahasan: Buku tersebut harus ada di meja atau tidak. Tidak
mungkin ada keadaan di mana keberadaan buku tersebut tidak dapat
ditentukan.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 12 / 29
Hukum-Hukum Logika Hukum Ekslusi Tengah
Contoh 3: Status Lulus Ujian
Proposisi: ”Saya lulus ujian.”
Pernyataan Hukum: ”Saya lulus ujian atau saya tidak lulus ujian.”
Pembahasan: Seseorang harus berada dalam salah satu dari dua
kondisi: lulus atau tidak lulus. Tidak ada status ketiga yang mungkin,
seperti ”sedang menunggu hasil”.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 13 / 29
Hukum-Hukum Logika Hukum Distributif
Pengertian Hukum Distributif
Hukum Distributif adalah prinsip yang menyatakan bahwa operasi tertentu
dapat didistribusikan di antara elemen-elemen lain yang terlibat. Dalam
logika proposisional, hukum ini berhubungan dengan operasi AND ( ) dan
OR ( ).
Distributif AND terhadap OR:
A ∧ (B ∨ C ) = (A ∧ B) ∨ (A ∧ C )
Distributif OR terhadap AND:
A ∨ (B ∧ C ) = (A ∨ B) ∧ (A ∨ C )
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 14 / 29
Hukum-Hukum Logika Hukum Distributif
Contoh 1: Operasi Logika AND dan OR
Pernyataan: A ∧ (B ∨ C )
Misalkan:
A: ”Hari ini hujan”
B: ”Saya membawa payung”
C : ”Saya mengenakan jas hujan”
Pembahasan:
A ∧ (B ∨ C ) = (A ∧ B) ∨ (A ∧ C )
Artinya, misalkan hujan hari ini, saya membawa payung atau mengenakan
jas hujan.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 15 / 29
Hukum-Hukum Logika Hukum Distributif
Contoh 2: Menentukan Nilai Benar (Truth Value)
Pernyataan: (P ∨ Q) ∧ R
Misalkan:
P: ”Komputer dinyalakan”
Q: ”Ponsel di-charge”
R: ”Internet terhubung”
Pembahasan:
(P ∨ Q) ∧ R = (P ∧ R) ∨ (Q ∧ R)
Jika komputer dinyalakan atau ponsel di-charge, dan internet terhubung,
maka seluruh pernyataan juga benar.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 16 / 29
Hukum-Hukum Logika Hukum Distributif
Contoh 3: Operasi Matematika
Pernyataan: 2 × (3 + 4)
Pembahasan:
2 × (3 + 4) = (2 × 3) + (2 × 4)
Distribusi perkalian menghasilkan:
2 × 3 + 2 × 4 = 6 + 8 = 14
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 17 / 29
Hukum-Hukum Logika Hukum Distributif
Contoh Program
Input Hukum Distributif
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 18 / 29
Hukum-Hukum Logika Hukum Distributif
Contoh Program
Input Hukum Distributif
Output:
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 18 / 29
Hukum-Hukum Logika Hukum Komutatif dan Asosiatif
Hukum Komutatif
Pengertian: Hukum Komutatif menyatakan bahwa urutan operasi tidak
mempengaruhi hasil akhir.
Untuk penjumlahan: a + b = b + a
Untuk perkalian: a × b = b × a
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 19 / 29
Hukum-Hukum Logika Hukum Komutatif dan Asosiatif
Contoh Hukum Komutatif
Contoh 1: Penjumlahan
3+5=8
5+3=8
Contoh 2: Perkalian
4 × 6 = 24
6 × 4 = 24
Contoh 3: Kombinasi Angka
(2 + 3) + 4 = 9
4 + (3 + 2) = 9
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 20 / 29
Hukum-Hukum Logika Hukum Komutatif dan Asosiatif
Hukum Asosiatif
Pengertian: Hukum Asosiatif menyatakan bahwa cara pengelompokan
angka tidak mempengaruhi hasil.
Untuk penjumlahan: (a + b) + c = a + (b + c)
Untuk perkalian: (a × b) × c = a × (b × c)
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 21 / 29
Hukum-Hukum Logika Hukum Komutatif dan Asosiatif
Contoh Hukum Asosiatif
Contoh 1: Penjumlahan
(2 + 3) + 4 = 5 + 4 = 9
2 + (3 + 4) = 2 + 7 = 9
Contoh 2: Perkalian
(3 × 2) × 4 = 6 × 4 = 24
3 × (2 × 4) = 3 × 8 = 24
Contoh 3: Kombinasi Angka
(1 + 2) + 3 = 3 + 3 = 6
1 + (2 + 3) = 1 + 5 = 6
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 22 / 29
Hukum-Hukum Logika Hukum Komutatif dan Asosiatif
Kesimpulan
Hukum Komutatif dan Hukum Asosiatif adalah prinsip dasar dalam
aritmetika yang menunjukkan bahwa:
Urutan operasi tidak mempengaruhi hasil (Hukum Komutatif).
Pengelompokan angka tidak mempengaruhi hasil (Hukum Asosiatif).
Keduanya penting dalam matematika dan membantu menyederhanakan
perhitungan.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 23 / 29
Hukum-Hukum Logika Hukum De Morgan
Hukum De Morgan
Notasi:
¬(P ∧ Q) ≡ ¬P ∨ ¬Q
¬(P ∨ Q) ≡ ¬P ∧ ¬Q
Deskripsi: Negasi dari konjungsi ekuivalen dengan disjungsi dari negasi
masing-masing, dan sebaliknya.
Contoh: Negasi ”hujan dan jalan basah” setara dengan ”tidak hujan atau
jalan tidak basah”.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 24 / 29
Hukum-Hukum Logika Hukum De Morgan
Pengertian Hukum De Morgan
Hukum De Morgan adalah dua hukum dalam logika proposisional yang
menunjukkan hubungan antara konjungsi (AND) dan disjungsi (OR)
dalam konteks negasi.
Negasi dari disjungsi:
¬(A ∨ B) ≡ (¬A) ∧ (¬B)
Negasi dari konjungsi:
¬(A ∧ B) ≡ (¬A) ∨ (¬B)
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 25 / 29
Hukum-Hukum Logika Hukum De Morgan
Contoh 1: Negasi Disjungsi
Pernyataan: ¬(A ∨ B)
Misalkan:
A: ”Hari ini hujan”
B: ”Saya pergi ke luar”
Pembahasan:
¬(A ∨ B) berarti ”Hari ini tidak hujan dan saya tidak pergi ke luar.”
Berdasarkan Hukum De Morgan:
¬(A ∨ B) ≡ (¬A) ∧ (¬B)
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 26 / 29
Hukum-Hukum Logika Hukum De Morgan
Contoh 2: Negasi Konjungsi
Pernyataan: ¬(A ∧ B)
Misalkan:
A: ”Saya belajar”
B: ”Saya mengerjakan tugas”
Pembahasan:
¬(A ∧ B) berarti ”Saya tidak belajar atau saya tidak mengerjakan
tugas.”
Berdasarkan Hukum De Morgan:
¬(A ∧ B) ≡ (¬A) ∨ (¬B)
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 27 / 29
Hukum-Hukum Logika Hukum De Morgan
Contoh Kode dalam Program Python
Contoh Input dengan menggunakan Hukum De Morgan
Output:
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 28 / 29
Hukum-Hukum Logika Hukum De Morgan
Contoh Kode dalam Program Python
Contoh Input dengan menggunakan Hukum De Morgan
Output:
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 28 / 29
Hukum-Hukum Logika Hukum De Morgan
Kesimpulan
Hukum De Morgan adalah alat yang berguna dalam logika proposisional
yang:
Menunjukkan hubungan antara negasi, konjungsi, dan disjungsi.
Membantu dalam menyederhanakan ekspresi logis.
Memiliki aplikasi dalam matematika, logika, dan pemrograman.
Asep Saepulrohman, M.Si. ...CS... FMIPA Univeristas
HUKUM-HUKUMPakuan LOGIKA INFORMATIKA October 18, 2024 29 / 29
