Práctico 3 - Foro

Hola Alan, cómo estás?

Lo que tenés planteado está perfecto, y como mencionás falta encontrar una fórmula de $PROP_{\{|\}}$ que sea equivalente a $\alpha' \land \beta'$

Para esto te sugiero que pienses en la definición que se da del conectivo $|$. Lo que dice la definición es que $v(\alpha | \beta)=1$ si y solo si $v(\alpha)=v(\beta)=0$. Pensando en esto y considerando que por la definición de valuación $v(\alpha \land \beta)=1$ si y solo si $v(\alpha)=v(\beta)=1$, cómo se podría construir la fórmula que estamos buscando?

Con esa fórmula en mente, vas a poder probar el lema que te falta para concluir la demostración.

Cualquier otra duda estamos a las órdenes!