PENGANTAR DASAR MATEMATIKA

Hukum-hukum Aljabar Proposisi dan

Tautologi, Kontradiksi, Kontingensi,

Ekuivalen Logis

DISUSUN OLEH: KELOMPOK VII

ALKADRI DIAN CAYSERIA DE PUTRI MARSITA MEZI HADIYATI NURHAVIDA SUKARDI

DOSEN PEMBIMBING: ROZA ZAIMIL,S.Pd.I,M.Pd

MATEMATIKA 12 B UNIVERSITAS MAHAPUTRA MUHAMMAD YAMIN (UMMY) SOLOK

HUKUM-HUKUM ALJABAR PROPOSISI

Hukum Idempoten (Idem) pp ek p pp ek p Hukum Asosiatif (As) (pq)r ek p(qr) (pq)r ek p(qr) Hukum Komutatif (Kom) pq ek qp pq ek qp Hukum Distributif (Dist) p(qr) ek (pq)(pr) p(qr) ek (pq)(pr) Hukum Identitas (Id) pF ek p pT ek T pF ek F pT ek p

Hukum Komplemen (Komp) pp ek T pp ek F (p) ek p T ek F Hukum Transposisi (Trans) pq ek qp Hukum Implikasi (Imp) pq ek pq Hukum Ekivalensi (Eki) pq ek (pq)(qp) pq ek (pq)(qp) Hukum Eksportasi (Eksp) (pq)r ek p(qr) Hukum De Morgan (DM) (pq) ek pq (pq) ek pq

PEMBUKTIAN HUKUM-HUKUM ALJABAR PROPOSISI

Hukum Idempoten (Idem) p v q ek p p p ek p P B S Q B S pvq B S p^q B S

Hukum Asosiatif (As) (pq)r ek p(qr) P B Q B r B Pvq B Qvr B pv(qvr) B (pvq)vr B

B
B B S S S

B
S S B B S

S
B S B S B

B
B B B B S

B
B S B B B

B
B B B B B

B
B B B B B

(pq)r ek p(qr)

p
B B B B S S S

Q
B B S S B B S

r
B S B S B S B

p^q
B B S S S S S

q^r
B S S S B S S

p^ (q^r)
B S S S S S S

(p^q) ^r
B S S S S S S

Hukum Komutatif (Kom) pq ek qp pq ek qp p q pvq qvp p^q q^p

B
B

B
S

B
B

B
B

B
S

B
S

S
S

B
S

B
S

B
S

S
S

S
S

Hukum Distributif (Dist) p(qr) ek (pq)(pr) p B B q B B R B S pvq B B pvr B B q^r B S pv(q^r) (pvq) ^ (pvr) B B B B

B
B S S S S

S
S B B S S

B
S B S B S

B
B B B S S

B
B B S B S

S
S B S S S

B
B B S S S

B
B B S S S

p(qr) ek (pq)(pr)

P
B B B B S S S

q
B B S S B B S

R
B S B S B S B

p^q
B B S S S S S

p^r
B S B S S S S

qvr
B B B S B B B

p^ (qvr)
B B B S S S S

(p^q) v (p^r)
B B B S S S S

Hukum Identitas (Id) pS ek p pB ek B pS ek S pB ek p p S B pvS pvB p^S p^B

B
S

S
S

B
B

B
S

B
B

S
S

B
S

Hukum Komplemen (Komp) pp ek B pp ek S (p) ek p B ek S p B S ~p S B ~(~ p) B S B B B ~B S S S S S p v ~p B B p ^ ~p S S

Hukum Transposisi (Trans) pq ek qp pq ~q ~p

~q

~p

B
B S S

B
S B S

S
B S B

S
S B B

B
S B B

B
S B B

Hukum Implikasi (Imp) pq ek pq pq

~p

~p v q

B
B S S

B
S B S

S
S B B

B
S B B

B
S B B

Hukum Ekivalensi (Eki) pq ek (pq)(qp) pq (pq) (qp) (pq)(qp)

B
B S S

B
S B S

B
S S B

B
S B B

B
B S B

B
S S B

pq ek (pq)(qp) q B S B S q S B S B p S S B B pq B S S B (pq) (qp) (pq)(qp) B S S S S S S B B S S B

P B B S S

Hukum Eksportasi (Eksp) (pq)r ek p(qr) P B B q B B r B S (pq) B B (pq)r B S (qr) B S p(qr) B S

B
B S S S S

S
S B B S S

B
S B S B S

S
S S S S S

B
B B B B B

B
B B S B B

B
B B B B B

Hukum De Morgan (DM) (pq) ek pq p q q p (pq) (pq) pq

B
B S S

B
S B S

S
B S B

S
S B B

B
S S S

S
B B B

S
B B B

(pq) ek pq

P
B B S S

q
B S B S

q
S B S B

p
S S B B

(pq)
B S S S

(pq)
S B B B

pq
S B B B

EKUIVALENSI , TAUTOLOGI , KONTRADIKSI, KONTINGENSI DAN EKUIVALEN LOGIS

Ekuivalensi Dua pernyataan majemuk A dan B dikatakan ekuivalen atau setara dalam logika, jika memiliki nilai kebenaran yang sama dan dinotasikan A B. Tabel kebenaran Ekuivalensi

P B B S S

Q B S B S

~p S S B B

pq B S B B

~pvq B S B B

Tautologi Tautology adalah suatu pernyataan majemuk dengan nilai kebenaran yang selalu benar. Tabel Kebenaran Tautologi P ( p v q ) P B Q B pvq B P(pvq) B

B
S S

S
B S

B
B S

B
B B

Kontradiksi Kontradiksi adalah suatu prnyataan majemuk yamg memiliki nilai kebenaran yang selalu salah. Tabel Kebenaran Kontradiksi P B B S S Q B S B S ~q S B S B p^q B S S S p~q S B B B ( p^q ) ^ ( p ~q ) S S S S

Kontingensi Kontingensi adalah suatu pernyataan majemuk yang memiliki nilai kebenaran yang benar dan salah. Tabel Kebenaran Kontingensi P B B B B S Q B B S S B R B S B S B Pvq B B B B B (pvq)r B S B S B

S
S S

B
S S

S
B S

B
B S

S
B B

Ekuivalen Logis Suatu ekspresi logika disebut ekuivalen logis apabila : Ekspresi logikanya adalah tautologis Ekspresi logikanya adalah kontradiksi Ekspresi logikanya adalah contingent, tetapi urutan T dan F pada tabel kebenaran tetap pada urutan yang sama