donde cada A es una conjunción de fórmulas.