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