hukum identitas logika matematika

6
Tugas Kelompok HUKUM-HUKUM LOGIKA MATEMATIKA STATISTIKA OLEH ADHISTI W.S DAI 413414004 NURAIN IBRAHIM 413414001 SAMIR MOODUTO 413414003 VITA IMAM MATUS SHOLEKHAH 413414002 FAKULTAS MATEMATIKA DAN IPA UNIVERSITAS NEGERI GORONTALO 2014

Upload: yatyibrahim

Post on 10-Nov-2015

27 views

Category:

Documents


6 download

TRANSCRIPT

Tugas Kelompok

HUKUM-HUKUM LOGIKA MATEMATIKASTATISTIKAOLEHADHISTI W.S DAI413414004NURAIN IBRAHIM413414001SAMIR MOODUTO413414003VITA IMAM MATUS SHOLEKHAH413414002

FAKULTAS MATEMATIKA DAN IPAUNIVERSITAS NEGERI GORONTALO2014

1. Hukum Identitas p v F p - p ^ T ppFp v F

BSB

SSS

pTP ^ T

BBB

SBS

2. Hukum mull/dominasi p ^ F F - p v T TpFp ^ F

BSS

SSS

pTp v T

BBB

SBB

3. Hukum negrasi p v ~p T p ^ ~p Fp~pTp v ~p

BSBB

SBBB

p~pFp ^ ~p

BSSS

SBSS

4. Hukum idempotent p v p p p ^ p ppp v p

BB

SS

pp ^ p

BB

SS

5. Hukum involusi ~(~p) pp~p~(~p)

BSB

SBS

6. Hukum penyerapan (absorbs) p v (p ^ q) p - p ^ (p v q) ppqp ^ qp v (p ^ q)

BBBB

BSSB

SBSS

SSSS

pqp v qp ^ (p v q)

BBBB

BSBB

SBBS

SSSS

7. Hukum komutatif p v q q v p - p ^ q q ^ ppqp v qq v p

BBBB

BSBB

SBBB

SSSS

pqp ^ qq ^ p

BBBB

BSSS

SBSS

SSSS

8. Hukum asosiatif p v (q v r) (p v q) v rpqrq v rp v qp v (q v r)(p v q) v r

BBBBBBB

BBSBBBB

BSBBBBB

BSSSBBB

SBBBBBB

SBSBBBB

SSBBSBB

SSSSSSS

p ^ (q ^ r) (p ^ q) ^ rpqrq ^ rp ^ qp ^ (q ^ r)(p ^ q) ^ r

BBBBBBB

BBSSBSS

BSBSSBB

BSSSSSS

SBBBSSS

SBSSSSS

SSBSSSS

SSSSSSS

9. Hukum distributive p v (q ^ r) (p v q) ^ (p v r)pqRq ^ rp v qp v rp v (q ^ r)(p v q) ^ (p v r)

BBBBBBBB

BBSSBBBB

BSBSBBBB

BSSSBBBB

SBBBBBBB

SBSSBSSS

SSBSSBSS

SSSSSSSS

p ^ (q v r) (p ^ q) v (p ^ r)pqRq v rp ^ qp ^ rp ^ (q v r)(p ^ q) v (p ^ r)

BBBBBBBB

BBSBBSBB

BSBBSBBB

BSSSSSSS

SBBBSSSS

SBSBSSSS

SSBBSSSS

SSSSSSSS

10. Hukum De Morgan ~ (p ^ q) ~p v ~qpq~p~qp ^ q~ (p ^ q)~p v ~q

BBSSBS S

BSSBSBB

SBBSSBB

SSBBSBB

~ (p v q) ~p ^ ~qpq~p~qp v q~ (p v q)~p ^ ~q

BBSSBSS

BSSBBSS

SBBSBSS

SSBBSBB