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

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