الْمَالِك فِي الْحَرَائِرِ وَيُوجَدُ الْمِلْكُ بِدُونِ حِلِّ النِّكَاحِ فِي مَوْطُوءَاتِ الْآبَاءِ مِنَ الْإِمَاءِ وَيَجْتَمِعَانِ مَعًا فِي الْأَمَةِ الَّتِي لَيْسَ فِيهَا مَانِعٌ فَيُسْتَدَلُّ بِوُجُودِ الْمُسَاوِي عَلَى وُجُودِ مُسَاوِيهِ وَبِعَدَمِهِ عَلَى عَدمه وبوجود الْأَخَص على وجود الْأَعَمّ وينفي الْأَعَمِّ عَلَى نَفْيِ الْأَخَصِّ وَبِوُجُودِ الْمُبَايِنِ عَلَى عَدَمِ مُبَايِنِهِ وَلَا دَلَالَةَ فِي الْأَعَمِّ مِنْ وَجْهٍ مُطْلَقًا وَلَا فِي عَدَمِ الْأَخَصِّ وَلَا وُجُودِ الْأَعَمِّ الْعِشْرُونَ الْمَعْلُومَاتُ كُلُّهَا أَرْبَعَةُ أَقْسَامٍ نَقِيضَانِ وَهُمَا اللَّذَانِ لَا يَجْتَمِعَانِ وَلَا يَرْتَفِعَانِ كَوُجُودِ زَيْدٍ وَعَدَمِهِ وَخِلَافَانِ وَهُمَا اللَّذَانِ يَجْتَمِعَانِ وَيَرْتَفِعَانِ كَالْحَرَكَةِ وَالسُّكُونِ وَضِدَّانِ وَهُمَا اللَّذَانِ لَا يَجْتَمِعَانِ وَيُمكن ارتفاعهما مَعَ الْخلاف فِي الْحَقِيقَةِ كَالسَّوَادِ وَالْبَيَاضِ وَمِثْلَانِ وَهُمَا اللَّذَانِ لَا يَجْتَمِعَانِ وَيُمْكِنُ ارْتِفَاعُهُمَا مَعَ تَسَاوِي الْحَقِيقَةِ كالبياض وَالْبَيَاض