Rincón Matemático
Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: SantiagoUy en 13 Febrero, 2013, 11:55 pm
-
Sea \( \alpha \) una fórmula, construya una derivación para el siguiente teorema del cálculo de predicados:
\( \exists x \exists y \alpha \Leftrightarrow{} \exists y \exists x \alpha \).
Estoy hace rato intentando resolverlo pero no llego a nada...