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
|

