عکس نقیض حملیه سالبه جزئیه

[ویکی فقه] عکس نقیض حملیه سالبه جزئیه، به معنای جابه جایی موضوع و محمول قضیه سالبه جزئیه همراه تبدیل محمول یا هر دو طرف به نقیض خود است.
در قضیه حملیه، عکس نقیض از طریق جابه جایی موضوع و محمول همراه تبدیل محمول (در عکس نقیض مخالف) یا هر دو طرف (در عکس نقیض موافق) به نقیض خود به دست می آید با این شرط که قضیه عکس نقیض موافق، در صدق و کیف، تابع قضیه اصل باشد و در عکس نقیض مخالف، در صدق، تابع قضیه اصل، و در کیف، مخالف آن باشد.
عکس نقیض از لحاظ کمّ
قاعده عکس نقیض (اعم از عکس نقیض موافق و مخالف) از لحاظ کمّ: قضایای سالبه در عکس نقیض، حکم قضایای موجبه در عکس مستوی را دارند و قضایای موجبه در عکس نقیض، حکم قضایای سالبه در عکس مستوی را دارند، به شرح ذیل:۱. سالبه کلیه به سالبه جزئیه (در عکس نقیض موافق) یا موجبه جزئیه (در عکس نقیض مخالف) منعکس می شود.۲. سالبه جزئیه هم به سالبه جزئیه (در عکس نقیض موافق) یا موجبه جزئیه (در عکس نقیض مخالف) منعکس می شود.۳. موجبه کلیه به موجبه کلیه (در عکس نقیض موافق) یا سالبه کلیه (در عکس نقیض مخالف) منعکس می شود.۴. موجبه جزئیه به عکس نقیض منعکس نمی شود، چنان که سالبه جزئیه منعکس به عکس مستوی نمی شد.مثال: عکس نقیض موافق قضیه حملیه سالبه جزئیه «بعضی حیوان ها ضاحک نیستند» عبارت است از: «بعضی از غیر ضاحک ها غیر حیوان نیستند» و عکس نقیض مخالف آن عبارت است از: بعضی از غیر ضاحک ها حیوان هستند.
برهان انعکاس سالبه جزئیه
برهان انعکاس عکس نقیض سالبه جزئیه به مثل خود:
← عکس نقیض موافق
...