شرح المنظومة: تفاوت میان نسخه‌ها

از جمله موضوعات مهم منطقی، تقسیم قضیه مسوره‎ به حقیقیه و خارجیه و دیگری تقسیم قضیه حملیه موجبه به حقیقیه، خارجیه و ذهنیه است. تقسیم قضیه‎ به‎ سه قسم حقیقیه، خارجیه و ذهنیه‎ را‎ می‎‎توان یک مسئله‎ منطقی‎ مستقل دیگری جدای از‎ طبقه‎‎بندی مثنی تلقی نمود که هم به‎لحاظ مبنا و هم به‎لحاظ کاربرد و استعمال‎، متمایز‎ از تقسیم‌بندی ثنایی است. از‎ این‎ طبقه‌بندی‎، دو‎ تقریر‎ صورت گرفته است: در تقریر نخست متأخرین‎ به‎ پیروی‎ از‎ ابهری، تقریری از‎ طبقه‎‎بندی مثلث ارائه داده‌اند که بر مبنای آن، مقسم، قضیه حملیه موجبه است؛ درحالی‌که در طبقه‌بندی سابق، قضیه حملیه مسوره (اعم از سالبه و موجبه)، مقسم بود.