كتاب مفتاح العلوم

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