21/10/2022
Dari sebuah pernyataan majemuk implikasi dapat dibentuk tiga implikasi lain dengan pernyataan komponen yang serupa. Ketiga implikasi tersebut adalah konvers, invers, dan kontraposisi. Implikasi ekuivalen dengan kontraposisinya dan konvers ekuivalen dengan invers implikasi.