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