فلو قلت: (كل حيوان إنسان) و(لا شيء من الحيوان بإنسان) فهما كليتان كاذبتان؛ لعدم تبديل الكم.
وكذلك لو قلت: (بعض الحيوان إنسان) و(بعض الحيوان ليس بإنسان) فهما جزئيتان صادقتان؛ لعدم تبديل الكم، وقد عرفت أن لا تناقض بين كاذبتين، ولا بين صادقتين.
واعلم أن المنطقيين يقولون: إنه يشترط لتحقيق التناقض بين القضيتين الاتحاد في تسعة أمور:
الأول: اتحاد المحمول، فلو اختلف جاز كذبهما وصدقهما، كقولك: (زيد ضاحك) (زيد ليس بكاتب).
الثاني: اتحاد الموضوع، فلو اختلف جاز صدقهما وكذبهما، كقولك: (زيد عالم) و(عمرو ليس بعالم).
الثالث: اتحاد الزمان، فإن اختلف الزمان جاز صدقهما وكذبهما، كقولك: (النبي - ﷺ - صلى إلى بيت المقدس) (النبي - ﷺ - لم يصل إلى بيت المقدس)، فإن قصدت بالأول ما قبل النسخ وبالثاني ما بعده صدقتا، وإن عكسْت كذبتا.
الرابع: اتحاد المكان، فإن اختلف جاز صدقهما وكذبهما، كقولك: (زيد صلى) تعني في المسجد، (زيد لم يصل) تعني في
١ / ٩٠