Lina Rohliana
Minggu, 13 Januari 2013
Jumat, 11 Januari 2013
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) º p
Kamis, 29 November 2012
part 2
PART 2
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
|
|
|
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
|
|
|
B
|
B
|
B
|
|
B
|
S
|
S
|
|
S
|
B
|
B
|
|
S
|
S
|
B
|
4. Biimplikasi / implikasi
dwiarah (jika dan hanya jika ( « )
|
p
|
q
|
|
|
B
|
B
|
B
|
|
B
|
S
|
S
|
|
S
|
B
|
S
|
|
S
|
S
|
B
|
Langganan:
Postingan (Atom)