نام کتاب : المنطق - ط جماعة المدرسين نویسنده : المظفر، الشيخ محمد رضا جلد : 1 صفحه : 185
وانما يتفق أن يتحقق احدهما بدون الآخر لامر
خارج عن ذاتهما نحو : (اما
أن يکون الجالس في الدار محمدا أو باقرا) اذا اتفق ان علم ان
غيرهما لم يکن [١]. ونحو : (هذا الکتاب اما أن يکون
في علم المنطق واما أن يکون مملوکا لخالد) اذا اتفق ان خالدا لا
يملک کتابا في علم المنطق واحتمل أن يکون هذا الکتاب المعين في هذا العلم. [٢]
وهذا التقسيم باعتبار امکان اجتماع الطرفين ورفعهما
وعدم امکان ذلک فتنقسم الي :
١ ـ (حقيقية) وهي ما حکم فيها بتنافي
طرفيها صدقا وکذبا في الايجاب [٤] وعدم تنافيهما کذلک
في السلب بمعني انه لا يمکن اجتماعهما ولا ارتفاعهما في الايجاب ويجتمعان ويرتفعان
[٥] في السلب.
مثال الايجاب العدد الصحيح اما أن يکون زوجا أو فردا
فالزوج والفرد لا يجتمعان ولا يرتفعان.
مثال السلب ـ ليس الحيوان اما أن يکون ناطقا واما أن
يکون قابلا للتعليم [٦] فالناطق والقابل للتعليم
يجتمعان في الانسان ويرتفعان في غيره.
[٤] وهو إنما يصدق فيما إذا كان أحد الطرفين
نقيضا للآخر أو مساويا لنقيضه.
[٥] لا يخفى عليك : أن سلب الانفصال الحقيقي
مفاده : أن الطرفين ليسا بحيث يمتنع اجتماعهما وارتفاعهما. فيصدق فيما كان الطرفان
ممكني الاجتماع فقط ، أو ممكني الارتفاع فقط ، أو ممكني الاجتماع والارتفاع معا ، ولا
يختص بالثالث.