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.