Senin, 14 November 2011

Aljabar Proposisi

Aljabar Proposisi
Hukum-Hukum Aljabar Proposisi

Setiap proposisi yang saling ekuivalen dapat dipertukarkan atau diganti antara satu dengan yang lainnya. Dibawah ini disajikan daftar aturan penggantian untuk keperluan deduksi,
1. Hukum Idempoten (Idem)
a.       pq ek p                           b. pp ek p
2. Hukum Asosiatif (As)
a.       (pq)r ek p(qr)
b.      (pq)r ek p(qr)
3. Hukum  Komutatif (Kom)
a.       pq ek qp
b.      pq ek qp
4. Hukum Distributif (Dist)
a.       p(qr) ek (pq)(pr)
b.      p(qr) ek (pq)(pr)
5. Hukum identitas (Id)
a.       pF ek p
b.      pB ek B
c.       pS ek S
d.      pT ek p
6. Hukum Komplemen (Komp)
a.       p∨∼p ek B
b.      p∧∼p ek S
c.       (p) ek p
d.      B ek S
7. Hukum Transposisi
pq ek q⇒∼p
8.Hukum Implikasi (Imp)
pq ek pq
9.Hukum Ekivalensi (Eki)
a.       pq ek (pq)(qp)
b.      pq ek (pq)(q∧∼p)
10.Hukum Eksportasi (Eks)
(pq) r ek p(qr)
11.Hukum De Morgan
a.       (pq) ek p∧∼q
b.       (pq) ek p∨∼q

Tidak ada komentar:

Poskan Komentar