En los lenguajes formales, delante de la conclusión se colocan expresiones simbolizadas así: formula_1, formula_2 y formula_3