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