باشد ، تأليف ميان دو جزئى است . اما نتيجه مىتواند متصلهاى باشد كه مقدم آن رافع جزء غيرمنتج باشد ، بدين صورت : ان كان لا شىء من ج ب فبعض ب د .
ضرب ديگر : اما كل الف ب و اما كل ج ب و كل شىء من الف و لا من ج د فبعض ب د .
ضرب ديگر : اما كل الف ب و اما كل ج ب فليس بعض الف و لا بعض ج د .
ضرب ديگر : اما كل الف ب و اما بعض ج ب و ليس بعض الف و لا واحد من ج د .
در اين اقترانها ، منفصلههاى سالبه و جزئى منتج نخواهند بود .
د - و اما بر هيأت شكل چهارم از اين قرار است :
ضرب اوّل : كل الف و كل ج ب و كل د امّا الف و امّا ج فبعض ب د .
ضرب دوم : كل الف و كل ج ب و بعض د امّا الف و امّا ج .
در اين شكل نمىتوان منفصلهها را مقدم نمود .
اگر حمليات در يك محمول مشترك باشند ، از اين قرار خواهند بود :
الف - بر هيأت شكل اوّل : مثال : كل الف اما ب و اما ج و كل ب د و كل ج ه ، نتيجه :
كل الف اما د و اما ه . اين قضيهء منفصله فقط مانع خلو است ، زيرا هردو محمول مىتوانند متداخل يا متساوى باشند . شرط اين تأليف همان شرط شكل اوّل است ، يعنى منفصله بايد موجبه بوده حملى بايد كلى باشد . اگر حملى سالبه باشد ، در نتيجه ، سلب جزء هريك از اجزاى منفصله مىشود . مثلا و لا شىء من ب د و لا شىء من ج ه ، نتيجه :
كل الف امّا ان لا يكون د و امّا ان لا يكون ه .
اگر حمليات صغرى و كبرى منفصله باشد ، بدين قرار است : كل الف ب و كل ج د و امّا ان يكون كل ب ه و امّا ان يكون كل د ه ، نتيجه : اما ان يكون كل الف ه و اما ان يكون كل ج ه . در اين موضع سالبهء منفصله منتج است .
ب - بر هيأت شكل دوم : كل الف امّا ب و امّا ج و لا شىء من د ب و لا من ه ج ، نتيجه :
كل امّا ان لا يكون د و اما ان لا يكون ه ، اين نتيجه نيز مانع خلو است .
اگر حمليات موجبه باشد ، منتج نخواهد بود . اگر حمليات بر منفصله مقدم شوند ، نتيجه از اين قرار مىباشد : بعض ما ليس ز أو ه فهو الف .
ج - بر هيأت شكل سوم : اما كل الف ب و امّا كل ج د و كل الف ه و كل ج د ، نتيجه : اما
بازنگارى اساس الاقتباس ( فارسى ) — صفحة 313
مساهمون: خواجه نصير الدين الطوسي
ص٣١٣