Kontraposisi

Dalam logika matematika, kontraposisi (contraposition) adalah balikan dan negasi dari pernyataan implikasi.
Contohnya: Jika hari ini mendung, maka besok hujan.
Kontraposisinya adalah: Jika besok tidak hujan, maka hari ini tidak mendung.