Page 32 - e modulo 123

ALJABAR PROPOSISI

Untuk memahami logika matematika mari, kita buktikan suatu pernyataan

tersebut ekuivalen. Hukum- hukum dalam logika matematika juga disebut sebagai
hukum aljabar proposisi. Salah satu manfaat hukum – hukum aljabar proposisi

adalah untuk menyederhanakan pernyataan gabungan.

1. Hukum Identitas 2. Hukum Dominasi
p ˅ F ≡ p p ˄ F ≡ F

p ˄ T ≡ p p ˅ T ≡ T
3. Hukum Negasi 4. Hukum Independen

p ˅ ~p ≡ p p ˅ p ≡ p
p ˄ ~p ≡ p p ˄ p ≡ p

5. Hukum Involusi (Negasi Ganda) 6. Hukum Penyerapan (Absorsi)

~(~p) ≡ p p ˅ (p ˄ q) ≡ p
p ˄ (p ˅ q) ≡ p

7. Hukum komunikatif 8. Hukum asositif

p ˅ p ≡ q ˅ p p ˅ (p ˅ r) ≡ (p ˅ q) ˅ r
p ˄ p ≡ q ˄ p p ˄ (p ˄ r) ≡ (p ˄q) ˄ r

9. Hukum Distributive 10. Hukum De Morgan
p ˅ (p ˅ r) ≡ (p ˅ q) ˄ (p ˅ r) ~(p ˄ p) ≡ ~p ˅ ~q

p ˄ (p ˄ r) ≡ (p ˄ q) ˅ (p ˄ r) ~(p ˄ q) ≡ ~p ˄ ~q

Kata kunci :

F : False → Salah
T : True → Benar

28

Logika matematika