19/02/2020, 13:00:01 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Derivación  (Leído 733 veces)
0 Usuarios y 1 Visitante están viendo este tema.
SantiagoUy
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 39


Ver Perfil
« : 13/02/2013, 19:55:56 »

Sea [texx]\alpha[/texx] una fórmula, construya una derivación para el siguiente teorema del cálculo de predicados:

[texx]\exists x \exists y \alpha \Leftrightarrow{} \exists y \exists x \alpha[/texx].


Estoy hace rato intentando resolverlo pero no llego a nada...
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!