Generalización es la base complementaria de toda inferencia deductiva válida.