MATEMATIKA KOMPUTASI

Propositional Equivalences
Asif Faroqi, S.Kom., M.Kom.
 Outline
• Proposisi Majemuk (Compound Proposition)
• Ekivalen (Logical Equivalences)
Proposisi Majemuk (Tautologi & Kontradiksi)

• Proposisi majemuk disebut tautologi jika ia benar untuk

semua kasus
• Proposisi majemuk disebut kontradiksi jika ia salah
untuk semua kasus.
 Soal Proposisi Majemuk:
Bentuklah tabel kebenaran dari proposisi majemuk berikut!
Tentukan termasuk tautologi atau kontradiksi !
1. (p  q) v (~ q  r)
2. p v ~ (p  q)
3. (p  q)  ~ (p v q)
Penyelesaian 1 :
Penyelesaian 2 :
Penyelesaian 3 :
 Ekivalen (Logically Equivalent)
• Dua buah proposisi majemuk P (p, q, ….) dan Q (p, q, …) disebut ekivalen
secara logika jika keduanya mempunyai tabel kebenaran yang sama
• Notasi : P (p, q, ….) Q (p, q, …)
• Contoh hukum De Morgan : ~(p  q) ~p v ~q

Compound propositions that have the same truth values in all possible
cases are called logically equivalent
Hukum-Hukum Logika
Disebut juga hukum-hukum
aljabar proposisi
 Soal Hukum Aljabar Proposisi:
1. Tunjukkan bahwa p v ~(p v q) dan p v ~q keduanya
ekivalen secara logika
2. Buktikan hukum penyerapan p  (p v q) p
 Penyelesaian 1 :
p v ~(p v q) p v (~p  ~q) (Hukum De Morgan)
(p v ~p)  (p v ~q) (Hukum Distributif)
T  (p v ~q) (Hukum Negasi)
p v ~q (Hukum Identitas)
 Penyelesaian 2 :
p  (p v q) (p v F)  (p v q) (Hukum Identitas)
p v (F  q) (Hukum Distributif)
pvF (Hukum Null)
p (Hukum Identitas)
 Soal Latihan 1
Diberikan pernyataan “Tidak benar bahwa dia belajar
Algoritma tetapi tidak belajar Matematika”.
a) Nyatakan pernyataan di atas dalam notasi simbolik
(ekspresi logika)
b) Berikan pernyataan yang ekivalen secara logika
dengan pernyataan tsb (Petunjuk: gunakan hukum De
Morgan)
 Penyelesaian Soal Latihan 1
Misalkan
p : Dia belajar Algoritma
q : Dia belajar Matematika

maka,
a. ~ (p ∧ ~ q)
b. ~ (p ∧ ~ q) ⇔ ~ p ∨ q (Hukum De Morgan)
Dengan kata lain : “Dia tidak belajar Algoritma atau belajar
Matematika”