Mantıkta karşıt ters, bir önermenin hem öncül ve sonucunun yer değiştirilip hem de olumsuzlarının alınmasıyla elde edilen ifadedir. Ö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.". Diğer örnekler: "Eğer bir üçgenin iç açılarının toplamı 180° ise, o zaman o üçgen düzlemseldir." önermesinin karşıt tersi: "Eğer bir üçgenin iç açılarının toplamı 180° değilse, o zaman o üçgen düzlemsel değildir.". "Eğer yerler ıslak değilse, o zaman hava yağmurlu değildir." (orijinal: "Eğer hava yağmurlu ise, o zaman yerler ıslaktır.").