Ters döndürme, mantıkta önermelerin döndürme işlemlerinden biridir. Ters döndürme, bir önermenin nitelik ve doğruluk değerini değiştirmeden öznesinin karşıt hâlini yüklem, yükleminin karşıt hâlini özne yapmaktır. Bu işlem şu şekilde gösterilir: - A ↺ A (Tümel olumlu önermenin ters döndürmesi yine tümel olumludur). - E ↺ O (Tümel olumsuz önermenin ters döndürmesi tikel olumsuzdur). - O ↺ O (Tikel olumsuz önermenin ters döndürmesi yine tikel olumsuz olur).