نفائس الأصول في شرح المحصول

وأنت اشترطت التسوية، فقد وجد المحدود بدون الحد، فيكون الحد غير جامع.

(فائدة) قال أبو الحسن البصري في كتابه الذي صنفه في القياس خاصة، وسماه كتاب (القياس):

قياس العكس هو إثبات نقيض حكم الأصل في الفرع باعتبار على. وقياس الطرد: إثبات حكم الأصل في الفرع؛ لاجتماعهما في علة الحكم.