Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
1
Hukum Proposisi
2
Hukum identitas: (p F) p(p T) p Hukum null/dominasi (p T) T(p F) F
3
Hukum negasi (p ~p) T(p ~p) F Hukum idempoten (p p) p(p p) p
4
Hukum involusi (negasi ganda) ~(~p) p
Hukum penyerapan (absorpsi) p (p q) pp (p q) p
5
(p q) (p q) (p q) (p q)
Hukum komutatif (p q) (p q) (p q) (p q) Hukum asosiatif P (q r) (p q) rp (q r) (p q) ∧r
6
~(p q) (~p ~q)~(p q) (~p ~q)
Hukum distributif P (q r) (p q) (p r)p (q r) (p q) (p r) Hukum De Morgan ~(p q) (~p ~q)~(p q) (~p ~q)
Presentasi serupa
![Logika Proposisional [Kalkulus Proposisi]](/12/3764538/big_thumb.jpg "Logika Proposisional [Kalkulus Proposisi]>")
