Bentuk pertama yang paling sering keluar adalah Kontraposisi. Rumusnya adalah jika pe maka ki, ekuivalen dengan jika bukan ki maka bukan pe. Contohnya, jika hari ini hujan maka jalanan basah, ekuivalen dengan jika jalanan tidak basah, maka hari ini tidak hujan.