Pertama, ekuivalensi implikasi p jika maka q. Bentuk ini ekuivalen dengan kontraposisinya, yaitu negasi q jika maka negasi p. Seperti yang ditunjukkan panah, posisinya ditukar dan dinegasikan. Selain itu, p jika maka q juga ekuivalen dengan bentuk atau, yaitu negasi p atau q.