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

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