EKUIVALEN DAN

HUKUM LOGIKA
Drs. Slamin, M.Comp.Sc., Ph.D

Program Studi Sistem Informasi

Universitas Jember
 Outline

1 Ek i l
Ekuivalen

2 Hukum de Morgan

3 Tautologi

4 Kontradiksi

PS Sistem
PS  Sistem Informasi Universitas Jember
 Ekuivalen
p dan q dikatakan ekuivalen jika p
mempunyai nilai kebenaran yang sama
dengan nilai kebenaran q.

p Ù q benar jjika p dan q kedua-duanya

y
benar atau p dan q kedua-duanya salah.

Contoh
œ(p Ö q) Ù ((~qq Ö ~p)
p)
PS Sistem
PS  Sistem Informasi Universitas Jember
 Hukum de Morgan

~ (p V q) Ù ~pp Λ ~qq
~ (p Λ q) Ù ~p V ~q

p q -p
p -q
q pVq
p q -(pVq)
(p q) -pΛ-q
p q pΛq
p q -(pΛq)
(p q) -pV-q
p q
B B S S B S S B S S
B S S B B S S S B B
S B B S B S S S B B
S S B B S B B S B B

PS Sistem
PS  Sistem Informasi Universitas Jember
 Tautologi

Tautologi atau benar secara logika merupakan

proposisi majemuk yang selalu benar apapun
nilai kebenaran dari komponen proposisi yang
membentuknya

p -p p V -p
B S B
S B B

PS Sistem
PS  Sistem Informasi Universitas Jember
 Kontradiksi

Kontradiksi atau salah secara logika merupakan

proposisi majemuk yang selalu salah apapun
nilai kebenaran dari komponen proposisi yang
membentuknya

p -p p Λ -p
B S S
S B S

PS Sistem
PS  Sistem Informasi Universitas Jember
Terima Kasih
Kasih………
………