عکس نقیض

عکس نقیض اصطلاحی در منطق است و به گزارۀ حاصل از تعویض جای مقدم و تالیِ یک گزارهٔ شرطی و همزمان نقیض کردن آن ها گفته می شود. بنابراین عکس نقییضِ P → Q {\displaystyle P\rightarrow Q} برابر ¬ Q → ¬ P {\displaystyle \neg Q\rightarrow \neg P} خواهد بود.
عکس (منطق)
در منطق کلاسیک، عکس نقیض، عکس دوم قضیه است که صدق قضیه ،دلیل بر صدق آن می باشد. و برای بدست آوردن آ« دو راه وجود دارد:راه منطقیون متقدم، که به آن «عکس نقیض موافق» گفته می شود. زیرا با قضیه اصل در کیف توافق دارد. عکس نقیض موافق آن است که یک قضیه با حفظ صدق . کیف، به قضیه دیگری تبدیل شود که موضوعش نقیض محمول است، و محمولش نقیض موضوع اصل است. و به طور خلاصه: جابجا کردن نقیض دو طرف با حفظ صدق و کیف قضیه، پس قضیه «هر نویسنده ای انسان است» با عکس نقیض موافق، تبدیل میشود به «هر نا انسانی، غیرنویسنده است».
راه منطقیون متاخر، که به آن «عکس نقیض مخالف» گفته می شود، چون با اصل قضیه در کیف مخالفت دارد. و آن عبارت است از :تبدیل یک قضیه به قضیه دیگری که موضوعش نقیض محمول است، و محمولش عین موضوع اصل است، با حفظ صدق، نه کیف. بنابراین، عکس نقیض مخالف قضیه «هر نویسنده ای انسان است» عبارت است از «هیچ غیر انسانی نویسنده نیست».

در منطق از گونه های استنتاج بی واسطه. به دو شیوه ساخته می شود: ۱. به شیوۀ قدما، و آن چنان است که نقیض موضوع را محمول و نقیض محمول را موضوع قرار دهند، چنان که عکس نقیض «هر انسانی حیوان است»، می شود: «هر غیر حیوانی غیر انسان است». عکس نقیضی که بدین شیوه به دست می آید، در صدق و کیف، با اصل اتفاق دارد؛ ۲. به شیوۀ متأخران، و آن چنان است که نقیض محمول را موضوع و عین موضوع را محمول سازند و کیف (است یا نیست) عکس نقیض را تغییر دهند، چنان که عکس نقیض «هر انسانی حیوان است» می شود: «هر غیر حیوانی انسان نیست». نیز ← عکس_مستوی

[ویکی فقه] یکی دیگر از اقسام استدلال های مباشر عکس نقیض است. در این نوع استدلال به لحاظ روش استخراج عکس، میان قدما و متاخران اختلاف وجود دارد. لذا تعریف آن نیز پیش از بیان دو روش مثمر ثمر نیست.
در روش قدما که از آن به "عکس نقیض موافق" یاد می شود، عملیات در حملیه بدین صورت انجام می شود: تحویل یک قضیه، به قضیه ای دیگر که موضوع قضیه دوم نقیض محمول قضیه اول است و محمولش نقیض موضوع اول است و صدق و کیف نیز باقی می ماند، بقای صدق یعنی این که اگر قضیه اصل صادق بود، عکس نقیض آن نیز صادق خواهد بود، و بقای کیف نیز بدین معناست که اگر قضیه اصل موجبه بود عکس نیز موجبه است. لذا در تعریف آن می توان گفت:
← تعریف
در روش متاخران که از آن به عکس نقیض موافق یاد می شود، عملیات بدین صورت انجام می شود: تحویل یک قضیه، به قضیه ای دیگر که موضوع قضیه دوم، نقیض محمول اصلی است و محمول آن خود موضوع قضیه اصل است. در روند تبدیل، صدق سر جای خود باقی است، ولی کیف آن تغییر می کند. از باب نمونه اگر قضیه ای بدین شکل داشته باشیم: "هر متدینی ایثارگر است"، پس از تبدیل به عکس نقیض مخالف بدین شکل در می آید: "هیچ غیر ایثارگری متدین نیست". چنان که ملاحظه می شود موضوع قضیه دوم (غیر ایثارگر) نقیض محمول قضیه اول (ایثارگر) است و محمول آن (متدین) خود همان موضوع قضیه اصلی است.موجبه جزئیه عکس ندارد، اما عکس نقیض مخالف سالبه کلیه، موجبه جزئیه است. قضیه "هیچ مومنی خیانتکار نیست"، به قضیه "برخی غیر خیانتکاران مومن اند" تبدیل میشود. عکس نقیض مخالف سالبه جزئیه نیز موجبه جزئیه است. قضیه "بعضی دانشجویان کوشا نیستند"، به قضیه "بعض غیر کوشاها دانشجو هستند" تبدیل میشود.