Baca Juz 16, halaman 525

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