Resultado de la búsqueda: principio de implicacion-logica