Bir önermenin karşıt tersini bulmak için şu adımlar izlenir: 1. Önermenin tersi bulunur. - Bunun için öncül ve sonucun değilleri alınır. 2. Önermenin kendisi ile tersi yer değiştirir. Örnek: "Eğer x² = 16 ise, x = 4'tür." önermesinin karşıt tersi şu şekilde bulunur: 1. Tersi: "Eğer x ≠ 4 ise, x² ≠ 16'dır.". 2. Karşıt tersi: "Eğer x² ≠ 16 ise, x ≠ 4'tür.". Not: "İse" bağlacı için karşıt tersi, "q' ⇒ p'" şeklinde ifade edilir.