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