Autor Tema: Duda en ejercicio (deducción natural - lenguajes de primer orden)

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

12 Febrero, 2013, 09:04 pm
Leído 543 veces

SantiagoUy

  • Junior
  • Mensajes: 39
  • Karma: +0/-0
  • Sexo: Masculino
EDIT: Problema resuelto

Buenas.

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

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.