واللّذان لا يتكافئان في لزوم الوجود ، فان اللازم منهما إذا ارتفع ، ارتفع ضرورة الشئ الذي عنه كان لزوم وجوده مثل الانسان والحيوان ، فان الحيوان إذا ارتفع ، لزم ضرورة أن يرتفع الانسان . لأنّه إذا ارتفع الحيوان ، ولم يرتفع الانسان ، وبقي موجودا ، وكان بوجود الانسان يوجد الحيوان ؛ لزم ضرورة إذا ارتفع الحيوان ، أن يكون الحيوان موجودا في الحين الذي هو فيه غير موجود ، فيصير شئ واحد موجودا [ في الحين الذي هو فيه غير موجود ، فيصير شئ واحد موجودا وغير موجود معا من جهة واحدة بعينها ، وذلك محال . وعلى هذا المثال ، فإنه يلزم في اللّذين يتكافان في لزوم الوجود ، أن يكون إذا ارتفع أيهما اتفق ، أن يرتفع الآخر .
وكذلك المتعاندان ضربان : ضرب عناد هما تام ، وضرب عناد هما غير تام .
فالتام العناد هما اللّذان إذا وجد أيّهما اتفق ، ارتفع الآخر ؛ وإذا ارتفع أيّهما اتفق ، وجد الآخر .
وغير التام هما اللّذان إذا ارتفع أحدهما أيهما اتفق ، لم يلزم ضرورة وجود الآخر . فلذلك يمكن أن تؤخذ المتعاندان بالعكس ، فتعدّ في اللوازم ، إذا كان ارتفاع الثاني منهما لازما عن وجود الأول ؛ فكذلك إذا كان الثاني موجودا ، لزم أيضا ارتفاع الأول .
فالمتلازمة هي التي تؤلف منها الشرطيّة المتصلة ، والمتقابلات هي التي تؤلف منها الشرطيّة المنفصلة .
ويلحق التي لزومها تام ، انّه إذا استثنى أيهما اتفق من مقدم أو تال ، لزم عنه الآخر ؛ وإذا استثنى مقابل أيّهما اتّفق ، لزم ضرورة مقابل الآخر . [ ب 43 ر ] .
وامّا التي لزومها غير تام ، فانّه انّما ينبغي أن يستثنى فيها امّا المقدم واما مقابل التالي ، حتى يصير قياسا .
والمتقابلات كلّها إذا اخذ كلّ متقابلين منها في موضوع واحد ؛ كانت متعاندة ، وألّفت متها الشرطية المنفصلة . وإذا أخذت في موضوعين لم يكونا متلازمين الا المضافين ؛ فانّه إذا وجد أحدهما في موضوع ، لزم ضرورة أن يوجد
المنطقيات للفارابي — صفحة 79
مساهمون: أبو نصر الفارابي
ص٧٩