قلنا : « كلّ إنسان ضاحك بالفعل لا دائما » يكون نقيضه « إنّه ليس كذلك ، بل إمّا ليس بعض الإنسان ضاحكا دائما أو بعض الإنسان ضاحك دائما » ، فقولنا : « ليس كذلك » ، وهو رفع المجموع ونقيضه الصريح ، وقولنا : « بل إمّا كذا وإمّا كذا » المنفصلة المساوية للنقيض ، وعلى هذا القياس في سائر المركّبات .
[ 73 - نقائض القضايا المركّبة الجزئيّة ]
قال : وإن كانت جزئيّة فلا يكفي في نقيضها ما ذكرنا ، لأنّه يكذب « بعض الجسم حيوان لا دائما » مع كذب كلّ واحد من نقيضي جزأيها ، بل الحقّ في نقيضها أن يردّد بين نقيضي الجزءين لكلّ واحد واحد - أي كلّ واحد واحد لا يخلو عن نقيضهما ، فيقال : « كلّ واحد واحد من أفراد الجسم إمّا حيوان دائما أوليس بحيوان دائما » .