The notes state: وهو يفيد اليقين
And it yields certainty.
Certainty here depends on the structure of the reasoning, not on a label: all relevant cases are covered and the property holds in every case. No member remains outside the premises to overturn the conclusion.
If the division is incomplete or a premise is false, the inference cannot be relied upon as a sound complete induction. Certainty presupposes the truth and completeness of the premises.
Opening interactive controls...
Induction: Complete and Incomplete Enumeration, Certainty and Probability
The notes state: وهو يفيد اليقين
And it yields certainty.
Certainty here depends on the structure of the reasoning, not on a label: all relevant cases are covered and the property holds in every case. No member remains outside the premises to overturn the conclusion.
If the division is incomplete or a premise is false, the inference cannot be relied upon as a sound complete induction. Certainty presupposes the truth and completeness of the premises.