Definisi 1.2.6. Konvers, Kontraposisi, dan Invers. Untuk suatu implikasi \(P \imp Q\text{,}\) kita mengatakan bahwa Konvers-nya adalah pernyataan \(Q \imp P\text{.}\) Kontraposisi-nya adalah pernyataan \(\neg Q \imp \neg P\text{.}\) Invers-nya adalah pernyataan \(\neg P \imp \neg Q\text{.}\)