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

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