Autor Tema: Derivación

0 Usuarios y 1 Visitante están viendo este tema.

13 Febrero, 2013, 11:55 pm
Leído 790 veces

SantiagoUy

  • Junior
  • Mensajes: 39
  • Karma: +0/-0
  • Sexo: Masculino
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...