Misal diberikan pernyataan p dan q sebagai berikut. p:hari

Konvers: q => p, Invers: ~p => ~q, Kontraposisi: ~q => ~p

Pembahasan

Konvers dari implikasi p => q adalah q => p. Dalam konteks ini, konversnya adalah: Jika saya pergi ke sekolah, maka hari hujan.

Invers dari implikasi p => q adalah ~p => ~q. Dalam konteks ini, inversnya adalah: Jika hari tidak hujan, maka saya tidak pergi ke sekolah.

Kontraposisi dari implikasi p => q adalah ~q => ~p. Dalam konteks ini, kontraposisinya adalah: Jika saya tidak pergi ke sekolah, maka hari tidak hujan.