الضَّرْب الرَّابِع: من صغرى سالبة جزئية وكبرى (مُوجبَة) كُلية تنْتج سالبة جزئية. مِثَاله: لَيْسَ كل أَب وكل ج ب فَلَيْسَ كل أج. وَصورته: وَهَذَا الضَّرْب إِنَّمَا يرجع إِلَى الأول بِالْفَرْضِ فمعلوم أَن الْبَعْض بإضافته إِلَى نَفسه كل فافرض ذَلِك الْبَعْض من أوليس هُوَ من ب ج، فَيصير لَا شَيْء من ب ج، وَقد عَاد إِذا إِلَى الشكل الأول بِأَدْنَى تَأمل. الشكل الثَّالِث: شَرطه أَن تكون صغراء مُوجبَة وَإِحْدَى مقدمته كُلية وغايته أَلا ينْتج كُلية.