Mantıkta ters döndürme, bir önermenin niteliğini değiştirmeden, öznenin olumsuz hâlinin yüklem, yüklemin olumsuz hâlinin özne yapılmasıyla yapılır. Ters döndürmenin kuralları şu şekildedir: Tümel olumlu (A) bir önermenin ters döndürmesi, yine tümel olumlu (A) bir önermedir. Tümel olumsuz (E) bir önermenin ters döndürmesi, tikel olumsuz (O) bir önermedir. Tikel olumsuz (O) bir önermenin ters döndürmesi, yine tikel olumsuz (O) bir önermedir. Tikel olumlu (I) bir önermenin ters döndürmesi yoktur. Örnekler: "Her dost güvenilirdir." önermesinin ters döndürmesi, "Her güvenilir olmayan, dost olmayandır." önermesidir. "Hiçbir erkek güvenilir değildir." önermesinin ters döndürmesi, "Bazı güvenilir olmayanlar, erkek olmayan değildir." önermesidir. "Bazı güller kırmızı değildir." önermesinin ters döndürmesi, "Bazı kırmızı olmayanlar, gül olmayan değildir." önermesidir.