Kontraposisi dari "jika saya malas maka saya tidak rajin" adalah "jika saya rajin, maka saya tidak malas". Ini dapat ditulis sebagai "jika ~(malas), maka ~(tidak rajin)".

Kontraposisi merupakan bentuk logis dari sebuah pernyataan yang membalikkan kondisi dan hasilnya. Dalam kasus di atas, kontraposisi dari pernyataan tersebut adalah pernyataan yang membalikkan kondisi "malas" menjadi "rajin" dan hasilnya "tidak rajin" menjadi "tidak malas".

Contoh lain dari kontraposisi adalah "jika hari ini hujan, maka tidak ada matahari" akan menjadi "jika hari ini tidak hujan, maka ada matahari" setelah dibalik.