next up previous contents
Next: About this document ... Up: 9 Ejemplos, muchos ejemplos Previous: 9.25   Contents

9.26 $\exists x\forall yPxy\vdash\forall y\exists xPxy$


\begin{displaymath}\begin{fitch} \par \exists x \forall yPxy \\ \par \fh \foral... ... \par \forall y \exists xPxy & I$\forall$\ 5 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17