完全归纳推理

---

是由某类中的每一个对象都具有某属性，推出该类对象都具有某属性的推理。例如：

直角三角形的面积等于底乘高的一半，

锐角三角形的面积等于底乘高的一半，

钝角三角形的面积等于底乘高的一半，

直角三角形、锐角三角形、钝角三角形是三角形的全部对象，

所以，三角形的面积等于底乘高的一半。

这种推理的形式是：

S₁是P

S₂是P

S₃是P

…………

S_n是P

(S₁，S₂，S₃……S_n是S类的全部对象)

所以，所有S都是P。

完全归纳推理的结论没有超出前提的范围，因此，其结论是必然的。有的逻辑著作中把它列入演绎推理的范围就是为此。完全归纳推理要求在前提中考察一类对象的全部，这就决定了它不能应用于一个具有无穷对象的类。遇到此种情况只能用不完全归纳推理。