وكل شرطي منفصل كانت معانداته اثنتين فقط ، وكان عمادها تامّا ؛ فانّه إذا استثنى ايّهما اتفق ، انتج مقابل الاخر ؛ وإذا استثنى مقابل ايّهما اتفق ، انتج الآخر بعينه . مثال ذلك هذا العدد اما زوج واما فرد ، لكنّه زوج ، فهو إذا ليس بفرد . أو لكنه فرد ، فهو إذا ليس بزوج . أو لكنّه ليس بزوج ، فهو إذا فرد . أو لكنّه ليس بفرد ، فهو إذا زوج .
وإذا كانت أكثر من اثنتين ، وكان عناها تاما : فانّه إذا استثنى أحدها ايّها اتفق ، انتج مقابلات الباقية . كقولنا : هذا الماء امّا بارد واما حارّ واما فاتر . وإذا استثنى ، فقيل : لكنّه بارد ؛ انتج انه ليس بحار ولا فاتر . وإذا استثنى مقابل اى واحد منهما اتّفق ، انتج الباقية من المتعاندة .
ثم كلّما استثنى مقابل شئ من المتعاندات الباقية ، [ ب 76 پ ] انتج الباقي بعد ذلك من المتعاندات ، إلى أن لا يبقى الا متعاندات اثنان فقط . فحينئذ إذا استثنى مقابل أحد الباقيين ، انتج الآخر . كقولنا : هذا العدد اما أكثر واما أقل واما مساو ، لكنه ليس بأقل . فينتج فهو إذا اما مساو واما أكثر . وإذا استثنى بعد ذلك أنه ليس بأكثر ، انتج فهو إذا مساو .
وكذلك الحال فيما كثرت متعانداته بالغة ما بلغت .
وان كان العناد غير تام ، فان العادة قد جرت بان لا يستعمل فيها حرف « امّا » ، ولكن يقرن بالقول ما يدل على أن المتعاندين لا يمكن ان يكونا معا . كقولنا :
ليس يمكن ان يكون هذا اللون ابيض وهو اسود ، زيد ليس يكون بالشام وهو بالعراق .
وكذلك ما وضعت متعاندة كقولنا : ليس يمشى زيد ويتكلّم عمر .
وفي هذا الضرب انما يستثنى ايّهما اتفق ، وينتج مقابل الآخر . كقولنا : زيد ليس يكون بالشام وهو بالعراق ، لكنه بالعراق ، ينتج فهو إذا ليس بالشام ، ولكنه بالشام ، ينتج فهو إذا ليس بالعراق . واما إذا استثنى في هذا الضرب مقابل أحدهما ، لم ينتج بالضرورة شيئا .
المنطقيات للفارابي — صفحة 139
مساهمون: أبو نصر الفارابي
ص١٣٩