Hola.
Estaba haciendo el ejercicio 10 y me quedaron un par de dudas:
1- no me queda claro si se pueden usar o no las equivalencias porque, por lo que entendí de la clase, las equivalencias son del tema anterior (semántica), sin embargo al final del ppt hay algunas equivalencias
2- en caso que sí, hay que demostrarlas para usarlas?
3- se puede asumir que si un elemento de PROP no es equivalente con bottom es equivalente con not bottom?