razonamiento lógico retroduccion