Printed page ٣١٠
أ - الاستقراء التام:
فإن كان عن (١) تتبع جميع جزئيات الكلي، يثبت حكمها للجزئي، نحو: كل جسم متحيز، فهو تام.
ب - الاستقراء الناقص:
وإن كان عن (٢) تتبع أكثر الجزئيات، لإثبات حكم كلي، فهو ناقص.
٤ - القياس في معنى الأصل، أو نفي الفارق:
(و) دخل في الحد (٣): «القياس في معنى الأصل» (٤)، وهو المسمى: