Döndürme nedir?

Döndürme, önermelerle eşdeğerli olan başka önermelerin çıkartılmasıdır. Döndürme yapılırken temel amaç, özne ve yüklemin yerlerini değiştirerek eşdeğer ifadeler yaratmaktır. Böylece önermelerin doğruluk değeri araştırmaları daha rahat yapılabilmektedir. İki şekilde yapılır: