Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación de la regla de Sustitución de fórmulas.