Resultado de la búsqueda: formulas o reglas de derivacion