Resultado de la búsqueda: trucos para formalizar en lógica