Resultado de la búsqueda: argumentos y logica formal