قضیه های معکوس

دو قضیه حملی هنگامی معکوس هم هستند که جای موضوع و محمول آن ها با هم عوض شده باشد. در منطق بررسی می شود که عوض کردن جای موضوع و محمول با هم، چه تأثیری در درست یا نادرست بودن قضیه دارد.
در منطق فلسفی، اگر دو قضیه حملی از نظر موضوع و محمول با هم مقایسه شوند، حالت های مختلفی ممکن است پیش آید. یک حالت رابطهٔ تقابل و دیگری رابطهٔ عکس است.
اگر در یک قضیهٔ حملی جای موضوع و محمول عوض شود اما نسبت قضیه ثابت نگه داشته شود، دو قضیه عکس مستوی هم خواهند بود. مثلاً عکس مستوی قضیهٔ «الف ب است»، «ب الف است» است و عکس مستوی قضیهٔ «الف ب نیست»، «ب الف نیست» است.
پرسشی که در این جا پیش می آید این است که عکس مستوی یک قضیهٔ درست چه هنگام درست است؟ جدول زیر به این پرسش پاسخ می دهد.