Parcial 2005 Ejercicio 3a

Parcial 2005 Ejercicio 3a

de Usuario eliminado -
Número de respuestas: 1

Buenas, dice: a ) Sea Γ un subconjunto arbitrario de PROP y sean α, β ∈ PROP tales que Γ |-- α. Demuestre que: Γ ∪ {¬(α ∨ β)} |–-- ⊥

Si construyo la derivacion:

 

a

--------ev1

avb           ¬(avb)

------------------ e¬

⊥

 

 

Ya alcanza?  sino no me doy cuenta de como rematarlo

Gracias (espero que la derivacion no haya perdido el formato!!)

 

En respuesta a Usuario eliminado

Re: Parcial 2005 Ejercicio 3a

de Luis Sierra -

tu derivación (si es que no se pierde nada en la visualización que hago) no es lo que se pide. lo que das es una justificación del juicio:

a, -(a \/ b) |-- bottom

pero precisás justificar el juicio

Gamma, -(a \/ b) |-- bottom

usualmente, dibujamos un triangulito arriba de la a, explicitando que en ese triangulito hay una prubea que justifique Gamma |-- a.

saludos

luis