Resultado de la búsqueda: metodo indirecto en matematica logica