De igual manera, la afirmación(∃x1)(Q2x2)(…)(Qnxn)P(x1,…,xn) es la misma que\[\left(\exis...De igual manera, la afirmación(∃x1)(Q2x2)(…)(Qnxn)P(x1,…,xn) es la misma que(∃x1)[(Q2x2)(…)(Qnxn)P(x1,…,xn)], o en otras palabras que hay alguna elección dex1 para la cual la afirmación\[\left(\mathcal{Q}_{2} x_{2}\right)(\ldots)\left(\mathcal{Q}_{n…
