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
|