Matemática => Lógica => Mensaje iniciado por: SantiagoUy en 12/02/2013, 17:04:07



Título: Duda en ejercicio (deducción natural - lenguajes de primer orden)
Publicado por: SantiagoUy en 12/02/2013, 17:04:07
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.