1. Skema
Hukum Detasemen
pàq
p

Contoh:
Jika air kotor, maka warnanya keruh
Air kotor

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

\~q à~p
Contoh:

\
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

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
|