. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ــ
[الشرح]
وَاسْتِصْحَابٌ، وَشَرْعُ مَنْ قَبْلَنَا.
ش - الْأَوَّلُ مِنْ أَقْسَامِ الِاسْتِدْلَالِ، وَهُوَ عَلَى أَرْبَعَةِ أَقْسَامٍ ; لِأَنَّ الْمُتَلَازِمَيْنِ إِمَّا أَنْ يَكُونَا ثُبُوتَيْنِ أَوْ نَفْيَيْنِ، أَوِ الْأَوَّلُ ثُبُوتٌ وَالْآخَرُ نَفْيٌ، أَوِ الْأَوَّلُ نَفْيٌ وَالْآخَرُ ثُبُوتٌ.
وَالْمُتَلَازِمَانِ إِنْ كَانَا طَرْدًا وَعَكْسًا، أَيْ إِنْ كَانَ التَّلَازُمُ بَيْنَهُمَا مِنَ الْجَانِبَيْنِ، كَالْجِسْمِ وَالتَّأْلِيفِ، فَإِنَّ وُجُودَ كُلٍّ مِنْهُمَا يَسْتَلْزِمُ وُجُودَ الْآخَرِ، جَرَى فِيهِمَا - أَيْ فِي الْمُتَلَازِمَيْنِ - الْأَوَّلَانِ، أَيِ التَّلَازُمُ بَيْنَ ثُبُوتَيْنِ - وَالتَّلَازُمُ بَيْنَ نَفْيَيْنِ طَرْدًا وَعَكْسًا، أَيْ يَلْزَمُ مِنْ وُجُودِ كُلِّ وَاحِدٍ