Kamis, 06 Desember 2012



Hukum dalam logika


1.   Hukum Komutatif (Cmm)
pÙq º qÙp
pVq º pVq
2.   Hukum Asosiatif (Ass)
(pÙq) Ùr º pÙ(qÙr)
(pVq)Vr  º pv(qVr)
3.   Hukum Distributif
pV(qÙr) º (pVq) Ù(pVr)
pÙ(qVr) º (pÙq)V(pÙr)
4.   Hukum De Morgan (De M)
~(pÙq) º ~pÙ~q
~(pVq) º ~pV~q
5.   Hukum Absorbsi (Abs)
pV(pÙq) º p
pÙ(pVq) º p
6.   Hukum Kesamaan
p Þ q º ~pVq
p Û q º (p Þ q) Ù (q Þ p)
7.   Hukum Identitas/tautologi
p = pÙp
q = qVq
8.   Hukum Ikatan
pVB º B
pÙS º S
9.   Hukum Negasi
pV~p º B
pÙ~p º S
10.               Hukum Negasi Ganda
~(~p) º

Kamis, 29 November 2012

part 2


PART 2
*      Pernyataan = kalimat yang hanya benar saja atau salah saja, tetapi tidak dapat sekaligus benar dan salah (sudah memiliki nilai kebenaran)
*      Jenis-jenis pernyataan :
1.       Disjungsi (atau (v))
Pernyataan yang dibentuk dari dua pernyataan p dan q yang di rangkai dengan menggunakan kata hubung “atau”
p
q
pvq
B
B
B
B
S
B
S
B
B
S
S
S
2.       Konjungsi (dan ( Ù ))
Pernyataan yang dibentuk dari dua pernyataan p dan q yang di rangkai dengan menggunakan kata hubung “dan”
p
q
Ù  q
B
B
B
B
S
S
S
B
S
S
S
S
3.       Implikasi / pernyataan bersyarat / kondisional (maka ( ® ))
Pernyataan majemuk yang disusun dari dua pernyataan p dan q dalam bentuk jika p maka q
p
q
® q
B
B
B
B
S
S
S
B
B
S
S
B
 4.    Biimplikasi / implikasi dwiarah (jika dan hanya jika ( « )
p
q
p  « q
B
B
B
B
S
S
S
B
S
S
S
B