Buenas noches,
El ejercicio me está quedando más o menos como se ve en la captura de más abajo. Lo que me falta es saber cómo probar el paso inductivo que podrán ver en la segunda imágen:
Me ayudan a resolverlo?
Muchas gracias.
En respuesta a Nicolas Gonzalez Blumberg
Re: Primer Parcial - Abril 2019 - Ejer 1.b.1
Hola:
Para probar esa parte tendrías que construir una derivación de:
- f(α) ∨ f(β) ⊢ ¬(α ∧ β)
En la construcción de esa derivación podés usar los árboles de derivación que surgen de la hipótesis inductiva:
f(α) f(β)
D₁ = \ / D₂ = \ /
¬α ¬β
Usando introducción de negación y eliminación de disyunción se construye de forma bastante directa.