Eşdeğerlik çıkarımları, felsefede iki önermenin doğruluk değerlerinin aynı olması durumunda ortaya çıkar. Döndürme, önermenin niteliğini ve doğruluk değerini değiştirmeden, öznesini yüklem, yüklemini özne yaparak yeni bir önerme elde etme işlemidir. Eşdeğerlik çıkarımlarının iki ana türü vardır: 1. Evirme (conversion): Önermenin tümel olumlu olması durumunda tikel olumlu, tümel olumsuz olması durumunda ise tikel olumsuz bir önerme elde edilir. 2. Devirme (contraposition): Önermenin öznesinin olumsuzunu yüklem, yükleminin olumsuzunu özne kılarak yeni bir önerme elde edilir.