Premis:
Jika hujan → jalanan basah
(H → B)Jalanan tidak basah
(¬B)
Dalam logika seperti ini, kita pakai modus tollens:
Jika H → B
dan ¬B
maka ¬H
Artinya:
Kalau hujan pasti basah
Faktanya tidak basah
Maka tidak hujan
Kenapa opsi lain salah?
Hari ini mungkin hujan ❌
Bertentangan dengan modus tollensHari ini hujan ❌
Jelas konflik dengan premis keduaMungkin jalanan akan segera kering ❌
Ngawur, tidak dibahas di premis
Intinya:
Tidak basah (¬B) = tidak hujan. (¬H)
tinggal dinegasikan.