عرّفه الشيخ « 1 » بأنّه أخذ ما يناقض المحمول فيجعل موضوعا ، وما يناقض الموضوع فيجعل محمولا ، مع حفظ الكيفية وبقاء الصدق والكذب بحاله « 2 » . قال « 3 » : والموجبة الكلية تنعكس كنفسها « 4 » في الكم . فإنّه إذا صدق : « كل إنسان حيوان » ، صدق : « كل ما ليس بحيوان ليس بإنسان » ، وإلّا لصدق نقيضه وهو « ليس بعض ما ليس بحيوان ليس بإنسان » ؛ ويلزمه « بعض ما ليس بحيوان إنسان » ؛ وينعكس إلى « بعض الإنسان ليس بحيوان » وقد كان « كل إنسان حيوان » ؛ هذا خلف . قلنا « 5 » : لا نسلّم أنّه إذا صدق « ليس بعض ما ليس بحيوان ليس بإنسان »