Hola:
El tableau te serviría para determinar que si suponemos que no se cumple la equivalencia, se tiene que cumplir para toda valuación v alguno de estos dos casos:
- v(α) = v(f(α)) = 1
- v(α) = v(f(α)) = 0
En los dos casos podeś hallar una contradicción con alguna de las partes anteriores.
Es una demostración correcta (suponiendo que fundamentás bien cada paso).
La demostración publicada también es correcta.