1. Skema
Hukum Detasemen
pàq
p
\q
Contoh:
Jika air kotor, maka warnanya keruh
Air kotor
\
Warnanya keruh
Pembuktian:
|
p
|
q
|
p->q
|
(p->q)^p
|
((p->q)^p)->q
|
|
T
|
T
|
T
|
T
|
T
|
|
T
|
F
|
F
|
F
|
T
|
|
F
|
T
|
T
|
F
|
T
|
|
F
|
F
|
T
|
F
|
T
|
2. Skema
Hukum Kontrapositif
pàq
\~q à~p
Contoh:
Jika
hujan lebat, maka Jakarta banjir
\
Jika Jakarta tidak banjir, maka hujan tidak lebat
Pembuktian:
|
p
|
q
|
~p
|
~q
|
p->q
|
~q->~p
|
(p->q)->(~q->~p)
|
|
T
|
T
|
F
|
F
|
T
|
T
|
T
|
|
T
|
F
|
F
|
T
|
F
|
F
|
T
|
|
F
|
T
|
T
|
F
|
T
|
T
|
T
|
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
3. Skema
Hukum Modus Tollens
pàq
~q
\
~p
Contoh:
Jika ada sinyal, smartphone bisa internet-an
Smartphone tidak bisa internet-an
 |
\
Tidak ada sinyal
Pembuktian :
|
p
|
q
|
~p
|
~q
|
p->q
|
(p->q)^~q
|
((p->q)^~q)->~p
|
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
|
T
|
F
|
F
|
T
|
F
|
F
|
T
|
|
F
|
T
|
T
|
F
|
T
|
F
|
T
|
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
4. Skema
Hukum Silogisme
pàq
qàr
 |
\ pàr
Contoh:
Jika gajah mati, maka gajah dibunuh
Jika
gajah dibunuh, maka gajah meninggalkan gadingnya
\ Jika gajah mati, maka gajah minggalkan
gadingnya
Pembuktian:
|
p
|
q
|
r
|
p->q
|
q->r
|
(p->q)^(q->r)
|
p->r
|
((p->q)^(q->r))->(p->r)
|
|
T
|
T
|
T
|
T
|
T
|
T
|
T
|
T
|
|
T
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
|
T
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
T
|
|
F
|
T
|
T
|
T
|
T
|
T
|
T
|
T
|
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
T
|
|
F
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
5. Hukum
Inferensi Disjungsi
a. pÚq
~p
\ q
Contoh:
Budi tidak masuk atau budi sakit
Budi
masuk
\
Budi sakit
Pembuktian:
|
p
|
q
|
p v q
|
~p
|
(p v q)^(~p)
|
((p v q)^(~p))->q
|
|
T
|
T
|
T
|
F
|
F
|
T
|
|
T
|
F
|
T
|
F
|
F
|
T
|
|
F
|
T
|
T
|
T
|
T
|
T
|
|
F
|
F
|
F
|
T
|
F
|
T
|
b. pÚq
~q
\ p
Contoh:
Budi tidak masuk atau budi
sakit
Budi tidak sakit
\ Budi tidak
sakit
Pembuktian:
|
p
|
q
|
p v q
|
~q
|
(p v q)^(~p)
|
((p v q)^(~p))->p
|
|
T
|
T
|
T
|
F
|
F
|
T
|
|
T
|
F
|
T
|
T
|
T
|
T
|
|
F
|
T
|
T
|
F
|
F
|
T
|
|
F
|
F
|
F
|
T
|
F
|
T
|
0 komentar:
Posting Komentar