El formato es formula_40, en el cual es un conjunto de fórmulas llamadas premisas, y es una fórmula para hallar la conclusión.