17/01/2020, 23:37:56 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Duda en ejercicio (deducción natural - lenguajes de primer orden)  (Leído 472 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
« : 12/02/2013, 17:04:07 pm »

EDIT: Problema resuelto

Buenas.

No logro hacer una derivación [texx]D : H(D) = \forall{x}(\alpha \vee \beta) \quad;\quad C(D) = \forall{x}\alpha \vee \beta[/texx].
Hipótesis adicional: [texx]x[/texx] no ocurre libre en [texx]\beta[/texx].

Debe ser una derivación sencilla dado que es uno de los primeros ejercicios del práctico que estoy resolviendo y los ejercicios están ordenados por dificultad, sin embargo no me doy cuenta de cómo resolverlo, soy principiante.


Se agradece cualquier idea.
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!