EKUIVALEN DAN HUKUM LOGIKA

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

Program Studi Sistem Informasi Universitas Jember

Outline
1 2 3 4

Ek i l Ekuivalen Hukum de Morgan Tautologi Kontradiksi

PSSistem Informasi Universitas Jember

Ekuivalen
p dan q dikatakan ekuivalen jika p mempunyai nilai kebenaran yang sama dengan nilai kebenaran q. p q benar j jika p dan q kedua-duanya y benar atau p dan q kedua-duanya salah. Contoh (p q) ( (~q q ~p) p)
PSSistem Informasi Universitas Jember

Hukum de Morgan
~ (p V q) ~p p ~q q ~ (p q) ~p V ~q
p B B S S q B S B S -p p S S B B -q q pVq p q -(pVq) (p q) -p p-q q pq -(p (pq) -pV-q p q S B S S B S S B B S S S B B S B S S S B B B S B B S B B

PSSistem Informasi Universitas Jember

Tautologi
Tautologi atau benar secara logika merupakan proposisi majemuk yang selalu benar apapun nilai kebenaran dari komponen proposisi yang membentuknya

p B S
PSSistem Informasi Universitas Jember

-p S B

p V -p B B

Kontradiksi
Kontradiksi atau salah secara logika merupakan proposisi majemuk yang selalu salah apapun nilai kebenaran dari komponen proposisi yang membentuknya

p B S
PSSistem Informasi Universitas Jember

-p S B

p -p S S

Terima Kasih Kasih