على الآخر. فالأول كالاستدلال بالنار على الحريق. والثاني كالاستدلال بالحريق على النار. والثالث كالاستدلال بالحريق على الدخان. ومدار ذلك كله على التلازم: ولتسوية بين المماثلين هو الاستدلال بثبوت أحد الأثرين على الآخر وقياس الفرق هو استدلال بانتفاء أحد الأثرين على انتفاء الآخر ، أو بانتفاء اللازم على انتفاء ملزومه: فلو جاز التفريق بين المتماثلين لانسدت طريق الاستدلال ، وغلقت أبوابه.
قالوا: وأما الاستدلال بالمعين على العام فلا يتم إلا بالتسوية بين المتماثلين ، إذ لو جاز الفرق لما كان هذا المعين دليلاً على الأمر العام المشترك بين الأفراد.