الفرع لكان يوهم اختصاصه بالموجود وأيضا فلا بد من معلوم ثان يكون أصلا فإن القياس عبارة عن التسوية وهي لا تتحقق إلا بين أمرين ولأنه لولا الأصل لكان ذلك إثباتا للشرع بالتحكم وأيضا فالحكم قد يكون نفيا وقد يكون إثباتا وأيضا فالجامع قد يكون أمرا حقيقيا وقد يكون حكما شرعيا وكل واحد منهما قد يكون نفيا وقد يكون إثباتا هذا شرح هذا التعريف