دانشنامه اسلامی
قضیه منفصله مانعةالخلو از نظر تنافی ذاتی بین اجزای قضیه و عدم آن، به "قضیه منفصله مانعةالخلوّ اتفاقیه" و "قضیه منفصله مانعةالخلوّ عنادیه" تقسیم می شود.قضیه منفصله مانعةالخلوّ اتفاقیه، قضیه ای است که بین دو جزء (مقدم و تالی) تنافی اتفاقی باشد نه ذاتی. مثال برای اتفاقیه موجبه: "این شخص یا نابینا است یا باسواد". و مثال برای اتفاقیه سالبه: "چنین نیست که این شخص یا نابینا است یا باسواد". و قضیه منفصله مانعة الخلوّ عنادیه، قضیه ای است که بین دو جزء (مقدم و تالی) تنافی ذاتی باشد. مثال برای عنادیه موجبه: "هر انسانی یا در دریا است یا غرق نمی شود". و مثال برای عنادیه سالبه: "چنین نیست که هر چیزی یا انسان باشد یا جماد".
مستندات مقاله
در تنظیم این مقاله از منابع ذیل استفاده شده است: • فرصت شیرازی، میرزا محمد، اشکال المیزان.• قطب الدین رازی، محمد بن محمد، تحریر القواعد المنطقیه فی شرح رسالة الشمسیه.
