كاذبتان لعدم تبديل الكم وكذلك لو قلت بعض الحيوان إنسان وبعض الحيوان ليس بإنسان فهما جزئيتان صادقتان لعدم تبديل الكم وقد عرفت أن لا تناقض بين كاذبتين ولا بين صادقتين.
واعلم أن المنطقيين يقولون إنه يشترط لتحقيق التناقض بين القضيتين الاتحاد في تسعة أُمور:
الأول: اتحاد المحمول فلو اختلف جاز كذبهما وصدقهما كقولك زيد ضاحك زيد ليس بكاتب.
الثاني: اتحاد الموضوع. فلو اختلف جاز صدقهما وكذبهما كقولك: زيد عالم وعمرو ليس بعالم.
الثالث: اتحاد الزمان: فإن اختلف الزمان جاز صدقهما وكذبهما كقولك: النبي صلى اللّه عليه وسلم صلى إلى بيت المقدس النبي ص لم يصل إلى بيت المقدس فإن قصدت بالأول ما قبل النسخ وبالثاني ما بعده صدقتا وإن عكست كذبتا.
الرابع: اتحاد المكان: فإن اختلف جاز صدقهما وكذبهما كقولك: زيد صلى - تعني في المسجد - زيد لم يصل تعني في الدار.
الخامس: الفعل والقوة: فإن قصد بإحدى القضيتين الفعل وبالأخرى القوة جاز صدقهما وكذبهما كقولك الخمر في الدن مسكرة تعني بالقوة والخمر في الدن ليست بمسكرة تعني بالفعل فهما صادقتان ولو عكست في القصد لكانتا كاذبتين.
السادس: الكل والبعض: فإن اختلفا في الكل والبعض جاز صدقهما وكذبهما كقولك: الزنجي أبيض تعني بعضه وهو أسنانه. وبياض عينيه. الزنجي ليس بأبيض تعني سائر بدنه.
السابع: الإِضافة: فإن اختلفتا في الإِضافة جاز كذبهما وصدقهما كقولك زيد أب وزيد ليس بأب تعني بالأول أنه أب لعمرو .. و بالثاني لبكر. أنه ليس أبًا لبكر.